Database
REAL AND COMPLEX NUMBERS
Elementary trigonometry
The exponential, sine, and cosine functions
ceu
Next ⟩
csin
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
ceu
Description:
Extend class notation to include Euler's constant
_e
= 2.71828....
Ref
Expression
Assertion
ceu
$${class}\mathrm{e}$$