On 2019-01-09, Guenter Milde wrote: > I assume, that we need to change *all* occurences of force=utf8 because > utf8-cjk add just CJK characters that are not handled in > lib/unicodesymbols.
Jürgen fixed most cases in lib/unicodesymbols. Thanks! In TeXLive 17, now all non-forced characters (except ASCII) come out as two wrong characters in the PDF because the exported latex files misses the inputenc declaration line \usepackage[utf8]{inputenc} (in TeXLive18 the new default kicks in). This also lead to some compilation errors due to missing chars. In my "manual tests", adding \usepackage[utf8]{inputenc} to the LaTeX preamble helped export with pdflatex in some cases and exposed some more missing force=utf8-cjk in lib/unicodesymbols. Furthermore, there are some cases of "force!=utf8" which should become "force!=utf8;utf8-cjk". However, this change led to forced conversion in all encodings! There seems to be a bug in the parsing of lib/unicodesymbols. Günter