An Etymological Dictionary of Astronomy and Astrophysics
English-French-Persian

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).

→ formal; → language.