Fuente TeX:
\mid -13\mid\neq -13