Metamath Proof Explorer


Syntax definition cmsy

Description: The syntax typecode function.

Ref Expression
Assertion cmsy class mSyn