Syntax definition ctrlson

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

	Ref	Expression
Assertion	ctrlson	class TrailsOn