For example, I want to input / output something like:

∴ a == 2 + 1 // TraditionalForm
∴ a = 3


However, I get a syntax error. I'm guessing this is because the \[Therefore] is Therefore[x, y] that needs two arguments.

Doing Therefore[None, TraditionalForm[a == 2 + 1]] just seems to output None ∴ a == 3

I don't want to just use a text cell for this purpose, since I would like this to be dynamic.

Any help? Thanks!

• You need it to have "2+1" and not 3? – Jason B. Apr 18 '16 at 13:08
• No, I do want the 2+1 to be evaluated to 3, if that's what you mean? – Michael Yoo Apr 18 '16 at 13:09
• I was going to suggest Therefore["", TraditionalForm[a == 2 + 1]] or Row[{"\[Therefore] ", Dynamic[a], " = ", 2, "+", 1}], either may suit your needs – Jason B. Apr 18 '16 at 13:10
• @JasonB The Therefore["", ...] seems to work, although it is a little messy but I can't find any other way of doing it. Thanks for the help! – Michael Yoo Apr 28 '16 at 9:51