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