Syntax definition ctau

Description: Extend class notation to include the constant tau, _tau = 6.28318....

	Ref	Expression
Assertion	ctau	$$class\mathrm{\tau }$$