15 Aug
2009
15 Aug
'09
4:41 p.m.
% Unicode Fonts: http://users.teilar.gr/~g1951d/http://users.teilar.gr/%7Eg1951d/
% % the font for the symbols is hardcoded but as we have in mkiv fonts % with more symbols a command to change the font would make sense
This seems to a fairly complete computer modern like font. Thanks for the link.
I think that it should be included in minimals. -- luigi