a + b, a plus b, a - b, a minus b,
a * b, a times b, a / b, a divide b,
a ^ b, a power b, a . b, a dot b
The fraction operator, and the implicit multiplication operator: (in the case of the implicit multiplication operator, the space between the two quantities can be crucual if they are both letter variables or numbers):
a over b, a b
The relational operators:
a = b, a eq b, a <= b, a le b, a >= b, a > b,
a <> b, a ne b, a < b, a lt b, a > b, a gt b
Other operators (the last one tells you that the comma is considered as an operator):
a _ b, a sub b, a subst b, a -> b, a to b, a tendsto b, a , b, a comma b
The plus and minus can also appear at the beginning of some expressions:
a * (-b) , a^+b
Operations can appear right at the beginning of the formula, like comma, the relational operators, and plus/minus.
= a + b
Also, an operation can be left `dangling' at the end of input:
a+
The value of these last two allowable activities is to let long formulae range over several lines. This is illustrated in the long example given is Section 2.
Finally, the operations plus and minus may be used in a contex where they are treated as quantities. This allows expressions like
a to 4^+ , b = 3_-