![](https://secure.gravatar.com/avatar/d4bd34a45c928e8356f38323ff84763e.jpg?s=120&d=mm&r=g)
27 Sep
2018
27 Sep
'18
2:44 a.m.
Am Thu, 27 Sep 2018 10:25:51 +0200 schrieb Hans Hagen:
these glyphs have no names
Side remark: if you think that the font is wrong here I could add a comment on the github site. -- Ulrike Fischer http://www.troubleshooting-tex.de/