Can you provide your file(s) for download?26. September 2016 um 11:00FYI, I made interactive text substitutions (on MacOS) for the Unicode math letters plus a number of symbols. With it in hand, it is not particularly difficult to use Unicode symbols in the input file.