A functional description of T E X's formula layout | Synapse