Syntax definition cs7

Description: Syntax for the length 7 word constructor.

	Ref	Expression
Assertion	cs7	$$class⟨“ABCDEFG”⟩$$