■

ちょっと前(今日の昼くらい)までは、

\infer
{ \Lambda; \Gamma \vdash x \Downarrow v }
{ \Gamma(x) = v }
\\

と書いてたんだけど、なんだか

\infer {
  \Lambda; \Gamma \vdash x \Downarrow v
} {
  \Gamma(x) = v
}
\\

と書きたくなった。(中括弧の位置が違う。)

同じような変化はMLでもあって、

let f x y = { hoge = x;
              huga = y; };;

が

let f x y = {
    hoge = x;
    huga = y;
  };;

と書きたくなってきつつある。