Syntax definition cmap

Description: Extend the definition of a class to include the mapping operation. (Read for A ^m B , "the set of all functions that map from B to A .)

	Ref	Expression
Assertion	cmap	$$class{\uparrow }_{𝑚}$$