https://123dok.com/document/z3d0l0wd-enctex-the-extension-tex-for-input-re-encoding.html