バーティカルバー
|x|の形で、絶対値の記号として用いる。
{x|x<2}の形で、定義を表す。
P(A|B)の形で、「Bという条件のもとでAとなる確率」という条件付き確率を表す。
d|nの形で、「dはnの約数である」ことを示す。