Syntax definition cmpt3

Description: Syntax for maps-to notation for functions with three arguments.

	Ref	Expression
Assertion	cmpt3	$$class\left(x\in A,y\in B,z\in C⟼D\right)$$