Syntax definition cold

Description: Declare the symbol for the older than function.

	Ref	Expression
Assertion	cold	$$class\mathrm{Old}$$