Syntax definition cmpt3

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

	Ref	Expression
Assertion	cmpt3	class ( x e. A , y e. B , z e. C |-> D )