Database
SURREAL NUMBERS
Conway cut representation
Conway cuts
csslt
Next ⟩
df-sslt
Metamath Proof Explorer
Unicode
Structured
Syntax definition
csslt
Description:
Declare the syntax for surreal set less-than.
Ref
Expression
Assertion
csslt
class <