12 Jun
2016
12 Jun
'16
10:16 p.m.
\pdfglyphtounicode{Delta}{2206}. But Delta (as greek capital letter) has unicode 0394. Thanks, I'll discuss it with Eddie. (I'm not sure if he has a public repository for his stuff nowadays.)