AAってプロポーショナルフォントなのかぁ
って改めて知りました。