Syntax definition cpi

Description: Extend class notation to include the constant pi, _pi = 3.14159....

	Ref	Expression
Assertion	cpi	$$class\mathrm{\pi }$$