Database
SURREAL NUMBERS
Subsystems of surreals
Dyadic fractions
cexps
Next ⟩
df-exps
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cexps
Description:
Declare the syntax for surreal exponentiation.
Ref
Expression
Assertion
cexps
class
↑
s