型変数

先生が

\tau \neq \beta \vee \beta \in FV(\phi)

とかメールに書いててちょっと面白かった。この業界の人は、メールでもtex書くのね、と。

\tau \neq \betaは、「τは型変数ではない」という意味だったらしい。