17/12/11 14:54:25.52 tC/GItu0.net
\mid は、「中間演算子」です。
中間演算子の例としては、C/C++ 言語で
if ( x > 0 || y < 0 ) { ・・・ }
のようにかくような場合の論理和「||」 や、
unsigned int a, b, c;
a = b | c;
の場合のビットOR「 | 」があります。
本来は、集合の「縦棒」とは違います。
それを、集合に使うことが流行ってしまってるだけではないでしょうか。
確かに、\mid を使う事が推奨されているような雰囲気はあります。