Controlling the Rendering

Attributes to control the precise rendering, eg,

<mo> ( </mo>

<mo maxsize="1"> ( </mo>

Other examples:

• font size, color, ...
• leftspace, rightspace, ...
• operator form (infix, prefix, postfix)
  • operator dictionary for the characterization of the operators
  • invisible operators (eg, "invisible times"), important for, eg, voice browsers!