Published 2020-02-04T02:20:00.002Z by Physics Derivation Graph

\sin x

\sin x \in f

f \in g

\sin x \left( unpaired "("

\sin x \sum operator with no input

\sin x / y = (\sin x)/y OR \sin (x/y); source: https://www.ntg.nl/maps/26/16.pdf

\sin x + 2 = (\sin x) + 2 OR \sin (x + 2)

https://math.stackexchange.com/a/1025217

https://math.stackexchange.com/a/1026483

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.