Symbole de barre verticale comme un operateur relationnel en latex

Symbole de barre verticale comme un operateur relationnel en latex

$$\mid$$
\mid
Symbole de barre verticale comme un operateur relationnel en latex \mid