An Etymological Dictionary of Astronomy and Astrophysics

A language designed for use in situations in which natural language is unsuitable, as for example in → mathematics, → logic, or → computer  → programming. The symbols and formulas of such languages stand in precisely specified syntactic and semantic relations to one another (Dictionary.com).

See also: → formal; → language.