Syntax definition cleft

Description: Declare the symbol for the left option function.

	Ref	Expression
Assertion	cleft	Could not format assertion : No typesetting found for class _Left with typecode class