>>436
遠山啓の本では、a|b を a ) b と書いてた（割り算の筆算の記号をもじったと書いていた）
a, b がそれぞれ生成する単項イデアルの包含関係とうまく合ってると思った。
TeXスレで聞けば、違った反応があるのでは？