Syntax definition cs4

Description: Syntax for the length 4 word constructor.

	Ref	Expression
Assertion	cs4	class ⟨“ 𝐴 𝐵 𝐶 𝐷 ”⟩