Syntax definition cv1

Description: The base variable of a univariate power series.

	Ref	Expression
Assertion	cv1	class var1