[fsakura]

On a side note: What is the Latex font name used in this document (Published by Shinichi Mochizuki)?

http://www.kurims.kyoto-u.ac.jp/~motizuki/IUTeich%20Verifica...

Looks really nice to eye.

[alex-g]

Computer Modern http://en.wikipedia.org/wiki/Computer_Modern