Processing the quasi-prefix form

  As described in c:recognition, no semantic interpretation is attached to mathematical content at the recognition step. AsTeR can be enhanced to recognize specialized notation and produce context-sensitive renderings (e.g., speak [tex2html_wrap5734] as ``x squared''). Some context-specific processing is needed to produce such renderings, and this section outlines the kind of information that is available: the weight of an object and special patterns.

Measure weight quantifies the complexity of math expressions. The weight function is defined as follows:

1. The weight of a leaf node with attributes is [tex2html_wrap5736] plus the sum of the weights of its attributes. Attributes are themselves math objects, and their weight is computed recursively.
2. The weight function on non-leaf nodes is defined recursively:

    [eqnarray*1487]

• Recognizing special patterns