Category:Definitions/Metasymbols

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Metasymbols.
Related results can be found in Category:Metasymbols.


A metasymbol is a symbol used in a metalanguage to represent an arbitrary collation in the object language.

Pages in category "Definitions/Metasymbols"

The following 5 pages are in this category, out of 5 total.