▶ | D4666: Standard real cosecant function |
▶ | D4664: Standard real tangent function |
▶ | D2635: Warsaw sine function |
▶ |
Convention 0
(Notation for standard basic real sine function)
The notation used for the D1931: Standard real sine function is $x \mapsto \sin(x)$.
|