Günter Milde e84f6dff77 Fixes for Japanese documents
PDF outline improves with unicode/utf8 (although some chars still wrong).

Math: ERT for umlauts no longer required (now force-converted with unicodesymbols)
2019-04-26 23:02:44 +02:00
..
2019-04-26 23:02:44 +02:00
2019-04-26 23:02:44 +02:00
2019-04-26 23:02:44 +02:00
2019-04-26 23:02:44 +02:00
2019-04-26 23:02:44 +02:00
2019-04-26 23:02:44 +02:00
2019-04-26 23:02:44 +02:00
2019-04-26 23:02:44 +02:00
2019-04-26 23:02:44 +02:00