Definition:Sign (Formal Systems)

A sign of a formal language is a symbol which has a specific meaning in the language.

Signs form part of the alphabet of a formal language.

Compare with letters, which also form part of the alphabet.