![](https://secure.gravatar.com/avatar/d558f7d2c62b984d42b1e276bbdfc2c7.jpg?s=120&d=mm&r=g)
26 Sep
2016
26 Sep
'16
3 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.