集合の中カッコ内の縦棒 | は、普通に | を使うのか、\mid を使うのか？
| を使うと、その前後が狭まってしまうので、\,|\, と書いているけど煩わしい。
カッコ内に分数があって、中括弧に合わせて、縦棒も長くしたいときはどうするのか？

という今更な疑問を、恥を忍んで投げてみる。