@SetTheoryTalks Answering the popular demand... it took very long simply I had to find by trial and error the difference of my setting (TeXlive: uplatex (utf-8) + dvipdfmx) and arXiv's (TeXlive: latex (plain ascii?) + dvipdf?). The main point of the conversion is the length unit: I use zh and zw (zenkaku height and width) which represent height and width of a kanji font: this is intuitive for me and I tend to use them everywhere. The conversion:
1zw ⭢ 1em
1zh ⭢ 1.8ex
can be automatized.
(1/n)