Database
SURREAL NUMBERS
Surreal arithmetic
Negation and Subtraction
cnegs
Next ⟩
csubs
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cnegs
Description:
Declare the syntax for surreal negation.
Ref
Expression
Assertion
cnegs
Could not format assertion : No typesetting found for class -us with typecode class