Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Scott Fenton
Surreal numbers - addition, negation, and subtraction
cnegs
Next ⟩
csubs
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cnegs
Description:
Declare the syntax for surreal negation.
Ref
Expression
Assertion
cnegs
class
-us