Database
SURREAL NUMBERS
Conway cut representation
Cuts and Options
cnew
Next ⟩
cleft
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cnew
Description:
Declare the symbol for the new on function.
Ref
Expression
Assertion
cnew
Could not format assertion : No typesetting found for class _New with typecode class