Syntax definition casp

Description: Algebraic span function.

	Ref	Expression
Assertion	casp	$$class\mathrm{AlgSpan}$$