Syntax definition bj-c1upl

Description: Syntax for Morse monuple. (Contributed by BJ, 6-Apr-2019)

	Ref	Expression
Assertion	bj-c1upl	class ⦅ 𝐴 ⦆