きょうの進歩

D.Lewisのcounterfactualの記号（□→）がtxfontをつかうとLATeXで出せることに気がついた。

とかいってつかうことはないのだが。