Admin/isabelle_fonts/IsabelleSymbols.sfd
10 months ago wenzelm 2018-12-09 more mathematical glyphs from Isabelle2009-1/lib/fonts/IsabelleMono.sfd (still unused);
10 months ago wenzelm 2018-12-09 clarified names;