Syntax definition cscmatalt

Description: Alternative notation for the algebra of scalar matrices.

	Ref	Expression
Assertion	cscmatalt	$$class\mathrm{ScMatALT}$$