Source TeX:
\Leftrightarrow \lvert{1}\rvert = 1