Up: LaTeX [Top][Contents]
When typesetting set builders,
use \mid and not \vert or |
\mid
\vert
|
or spacing will be incorrect.