24 Aug
2011
24 Aug
'11
11:38 a.m.
In mkii I was using the 'wasy' font for symbols with \usemodule[symb-wasy]. Is this still valid or has it changed? Is the font in the minimals distribution with the other fonts? Otherwise, how to? Thanks in advance, Hans van der Meer