Syntax definition cinftyexpitau

Description: Syntax for the function inftyexpitau parameterizing CCinfty .

	Ref	Expression
Assertion	cinftyexpitau	$$class{\mathrm{+\infty e}}^{i\tau }$$