From the user's point of view, an ideal system would be a step beyond free formalisation, where the system would determine where the boxes are. This would let the user concentrate on the meaning of the formula and not worry about having to explicitly define its layout. The only problem with this is that the user then has to trust the system to interpret their formula correctly. The system has to be sufficiently powerful to do so, without overly restricting the positions that symbols can be placed with respect to one another.