Metamath Proof Explorer


Syntax definition cmesy

Description: The syntax typecode function for expressions.

Ref Expression
Assertion cmesy class mESyn