▶ | D1583: Weierstrass function |
▶ |
Convention 0
(Notation for standard basic real cosine function)
The notation used for the D1927: Standard real cosine function is $x \mapsto \cos(x)$.
|