Input to the Formula Processor

The input to the formula processor is a set of tuples. There is one tuple per symbol that the system has recognised, each tuple holding the symbol's identity and its bounding box information.

  

Figure 3.5: A simple formula.

For example, the formula shown in Figure 3.5 is encoded as:

integral 14 15 37 127
x 63 42 25 39
d 150 54 20 56
x 171 73 31 35
2 92 16 24 21
- 61 85 70 8
4 86 100 28 43

 

Note that these do not have to be sorted in a ``logical'' input order, as order information is not used by a graph rewriting parser.