changed vertical pipes to \vert in LaTeX code