4 ms·

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%20Verifi

by fsakura 12y ago

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%20Verification%20Report%202014-12.pdf http://www.kurims.kyoto-u.ac.jp/~motizuki/IUTeich%20Verifica... Looks really nice to eye.

deleted 12y ago
[deleted]
alex-g 12y ago
Computer Modern http://en.wikipedia.org/wiki/Computer_Modern http://en.wikipedia.org/wiki/Computer_Modern