user.tex : translate to korean