> Hans Åberg <mailto:haberg-1@telia.com>
> 26. September 2016 um 11:00
> FYI, 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.
Can you provide your file(s) for download?

Wolfgang