Use a consistent size and position for all tildes.

Author: zygoloid

source/macros.tex

@@ -126,8 +126,13 @@
 \newcommand{\dcr}{-{-}}
 \newcommand{\exor}{\^{}}
 \newcommand{\bigoh}[1]{\ensuremath{\mathscr{O}(#1)}}
-% \renewcommand{\tilde}{{\smaller\ensuremath{\sim}}}    % extra level of braces is necessary
-\renewcommand{\tilde}{\protect\raisebox{-.5ex}{\larger\textasciitilde}}
+
+% Make all tildes a little larger to avoid visual similarity with hyphens.
+% FIXME: Remove \tilde in favour of \~.
+\renewcommand{\tilde}{\textasciitilde}
+\renewcommand{\~}{\textasciitilde}
+\let\OldTextAsciiTilde\textasciitilde
+\renewcommand{\textasciitilde}{\protect\raisebox{-0.17ex}{\larger\OldTextAsciiTilde}}
 
 %%--------------------------------------------------
 %% States and operators