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

Convention N697 on D1927: Standard real cosine function

Notation for standard basic real cosine function

The notation used for the D1927: Standard real cosine function is $x \mapsto \cos(x)$.