13 Jun
2016
13 Jun
'16
12:16 a.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.)