valid ambiguous latex in a step in which the ambiguity can be resolved
input expression: \sin x / y = g
inf rule: multiply both sides by y
output expression: \sin x = g y
Here the input expression is ambiguous -- it isn't clear whether "\sin x / y" = (\sin x)/y OR \sin (x/y)
The output expression implies that (\sin x)/y was the user's intention.
input expression: \sin x + 2 = g
inf rule: subtract "2" from both sides
output expression: \sin x = g - 2
Here the input expression is ambiguous -- it isn't clear whether "\sin x + 2" = (\sin x) + 2 OR \sin (x + 2)
The output expression implies that (\sin x) + 2 was the user's intention.
valid ambiguous latex in a step in which the ambiguity cannot be resolved