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

Next ⟩ cmgfs

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cmesy

Description: The syntax typecode function for expressions.

		Ref	Expression
	Assertion	cmesy	$class mESyn$