Le 08/10/15 03:19, Cyrille Artho a écrit :
It's possible to embed characters from a font in an SVG graph; this could be used to avoid problems with fonts that do not have all math characters.
I seem to remember (but git log is your friend) that these icon started their life with embedded fonts, and that they were transformed to something else later.
But only Enrico can tell us what the status is. JMarc