Editing Syntax (logic) (section)

=== Symbols ===
{{Main|Symbol (formal)}}

A symbol is an [[idea]], [[abstraction]] or [[concept]], [[Type-token distinction|tokens]] of which may be marks or a metalanguage of marks which form a particular pattern. Symbols of a formal language need not be symbols of anything. For instance there are [[logical constant]]s which do not refer to any idea, but rather serve as a form of punctuation in the language (e.g. parentheses). A symbol or string of symbols may comprise a well-formed formula if the formulation is consistent with the formation rules of the language. Symbols of a formal language must be capable of being specified without any reference to any interpretation of them.