next up previous
Next: No Formalisation Up: Ambiguity in the Formula Previous: Weak Formalisation

Free Formalisation

The only boxes required are those that specify the layout of formulae.

\fbox{\fbox{\fbox{$\int$ }$^{\fbox{$4$ }}_{\fbox{$0$ }}$ } \fbox{$x$ }
\fbox {$+$ } \fbox{$3$ } \fbox{$\sin$ } \fbox{$4$ } \fbox{$x$ }
\fbox{$dx$ }}

When using a free formalism, the grammar for parsing the formula has to be extended to determine the start and end of groups of symbols, such as operands for operators. In the example above, the grammar has to determine where the integrand starts and finishes.

Steve Smithies