fortress-mode.el で、Unicodeを表示する

Fortressは、コードのレンダリングを定めているという変わったところもある言語なんだけど、整数型が\mathbb{Z}64とか、実数型が\mathbb{R}64だったりして、ASCII文字ではない文字が普通に使われている。んで、ASCIIで代用するときはZZ64とかRR64と書くことになっている。

そんなわけで、ZZ64と書いたら\mathbb{Z}64と表示するようにしてみた。

http://hayamin.com/upload/fortress-mode_2.png