Syntax definition ctrlson

Description: Extend class notation with trails between two vertices (within a graph).

	Ref	Expression
Assertion	ctrlson	$$class\mathrm{TrailsOn}$$