読者です 読者をやめる 読者になる 読者になる
個人的にあると便利なマクロや細かい設定の備忘録.記事一覧



集合 \{ \} 内の縦線 \mid と \middle|

集合を記述するとき,僕は { \{ a\in A \mid \| a \| \leq 1 \} } といったように縦棒で分けますが,
普通の縦棒 | を使うと,左右の余白の調整が面倒である.これは 命令文 \mid を使えばよい.
つまり,

 \{ a\in A \mid \| a \| \leq 1 \}

とすれば,余白は良い感じになります.

ところが集合の中に大きい奴があるとき,次のように両側を\left \rightで伸ばすと,
{\displaystyle \left\{ (a_j)_{j=1}^n \subset A^n \mid \sum_{j=1}^n a_j^*a_j \leq 1 \right\} }
棒が短くなってしまうので, \middle| を使うと良いとのこと.
便利な世の中である!