Syntax definition cs4

Description: Syntax for the length 4 word constructor.

	Ref	Expression
Assertion	cs4	$$class⟨“ABCD”⟩$$