Home / LaTeX
When typesetting set builders,
use \mid and not \vert or |
\mid
\vert
|
or spacing will be incorrect.