Fine-Tuned Formulae

TeXbook 花了四章在數學式上，談到許多微調的技巧。以往讓我頭痛的一例是

其源碼是 B_\delta(x) = \{ y\ |\ \| x - y \| < \delta \}。正確（或者該說較佳）的版本應該是

源碼是

B_\delta(x) = \left3\{\,1 y \bigm|2 \| x - y \| < \delta \,1\right3\}

1. 大括號和內容物之間應該有個 thin space（\,）；
2. 區隔 predicate 用的直槓在一般狀況下該用 \mid，這會在直槓兩側插入額外空格（which is explicitly done in the "incorrect" version），但此處為與後面的 norm 兩槓符號協調，所以用稍長的 \bigm|，如此也會在直槓兩側插進空格；
3. 因為內含一個較長的直槓，所以大括號的大小也必須調整，這裡直接用 \left 和 \right 自動完成。

--
要排好 TeX documents 真不可不看 TeXbook XD。