17/12/09 11:33:44.30 Bq1KdAc5.net
>>801-802
さらに実験したところ、
\begin{align}
\left\{ xxx \, \vrule \, yyy \right\}
\end{align}
のようなコードだと、xxx, yyy の部分の中身によっては、\vrule の長さが、
左端、右端の括弧の高さより短くなってしまうことがある。
その場合、以下のようにすると良いことが判明：
\begin{align}
\left\{ {xxx} \, \vrule \, {yyy} \right\}
\end{align}
英語文献も含めて、沢山調査したが、正確な理由は不明。
これは、TeXの深い闇かも。