There are a number of attributes to control the precise rendering of tokens. Eg,
<mo> ( </mo> |
||
<mo maxsize="1"> ( </mo>
|
||
Other examples:
- font size, color, ...
- leftspace, rightspace, ...
-
operator form (infix, prefix, postfix)
- there is an operator dictionary for the characterization of the most common operators
- there are invisible operators (eg, "invisible times"), important for, eg, voice browsers!