A Formalism for the Definition of Graphical Formulas
This paper describes a new formalism (the <italic>typed holistic formula definition</italic>) which enables to define two dimensional formula grammars very easily by just drawing a prototype of the desired formula. The formalism is used in a tool called <italic>G<supscrpt>2</supscrpt>F</italic> (An Editor Generator for Two Dimensional Graphical Formulas) the properties of which are also sketched (its main advantage is the possibility to use the editors as interfaces for symbol manipulating systems).