Database
SURREAL NUMBERS
Subsystems of surreals
Dyadic fractions
c2s
Next ⟩
df-2s
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
c2s
Description:
Declare the syntax for surreal two.
Ref
Expression
Assertion
c2s
Could not format assertion : No typesetting found for class 2s with typecode class