Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Scott Fenton
Surreal numbers - zero and one
c0s
Next ⟩
c1s
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
c0s
Description:
Declare the class syntax for surreal zero.
Ref
Expression
Assertion
c0s
Could not format assertion : No typesetting found for class 0s with typecode class