26 Sep
2016
26 Sep
'16
11 a.m.
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.