That might be because: - you need to write same variable name on each step of derivation of a formula - paper and blackboards don't have autocomplete - juxta

That might be because: - you need to write same variable name on each step of derivation of a formula - paper and blackboards don't have autocomplete - juxtaposition is used for multiplication, thus SwapBlue can be Swap times Blue or a single variable called SwapBlue, spacing for multiplication is not a good solution when writing to board/paper