encode abst_nakano.tex