[FOM] Nomenclature - logical formulas and term

[John Baldwin]

Logicians routine define a formal language by defining inductively
terms and formulas.

Is there a good word for the union of these classes?  `Expression' springs 
to mind. Unfortunately, expression is a frequent synonym for term 
(especially 
in high school algebra).

Shoenfield used `designator' but that seems too technical when speaking 
with mathematics educators.

John T. Baldwin
Professor Emeritus
Department of Mathematics, Statistics, 
and Computer Science  M/C 249
jbaldwin at uic.edu
312-413-2149
Room 613 Science and Engineering Offices (SEO)
851 S. Morgan
Chicago, IL 60607