Of the questions that I sent in the other day, one was answered on the
TEX-NL list, namely the one about how to encircle a character. I post the
answer here in case anyone alse wants to use it sometime:
% ----------------------------------------------
% macro to encircle a character
% use \rond{a} etc.
% \newcommand{\rond}[1] % this macro for LaTeX
\def\rond #1 % this one for plain TeX
{\begingroup{\ooalign{\hfil\raise.07ex\hbox{#1}%
\hfil\crcr\mathhexbox20D}}
\endgroup}
% ----------------------------------------------
regards,
Frans
