Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Scott Fenton
Surreal numbers - cuts and options
cnew
Next ⟩
cleft
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cnew
Description:
Declare the symbol for the new on function.
Ref
Expression
Assertion
cnew
class
N