Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Scott Fenton
Surreal numbers - cuts and options
cleft

Next ⟩ cright

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cleft

Description: Declare the symbol for the left option function.

		Ref	Expression
	Assertion	cleft	$class L$