Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Grammatical formal systems
cmsy

Next ⟩ cmesy

Metamath Proof Explorer

Unicode
Structured

Syntax definition cmsy

Description: The syntax typecode function.

		Ref	Expression
	Assertion	cmsy	class mSyn