I've added
\font{name}{text}
e.g. \font{symbol}{g}
and
\size{+10}{text} \size{-4]{text} \size{10}{text}
for font size increase, decrease and absolute value (pt is supported, but
nothing else yet).
Jeremy -- Jeremy Sanders <[EMAIL PROTECTED]> http://www.jeremysanders.net/ Cambridge, UK Public Key Server PGP Key ID: E1AAE053
