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