Vertikales Barsymbol als relationaler Betreiber in Latex

Vertikales Barsymbol als relationaler Betreiber in Latex

$$\mid$$
\mid
Vertikales Barsymbol als relationaler Betreiber in Latex \mid