ThmDex – An index of mathematical definitions, results, and conjectures.

Convention N698 on D1931: Standard real sine function

Notation for standard basic real sine function

The notation used for the D1931: Standard real sine function is $x \mapsto \sin(x)$.