David and Robert --
Many thanks. Actually, I prefer <mchar name="pi"/> over either
"&pi;" or "&#960;" since it allows a processor to think.
While we're on the subject, should we think about lobbying for having
<textchar name="..."/> in the XHTML base?
-- Bill