Syntax definition ctophom

Description: Syntax for the set of topological morphisms.

	Ref	Expression
Assertion	ctophom	$$class\underset{Top}{⟶}$$