

% right arrow in either format
\newcommand{\rarrow}{ \if{latex}{\out{$\rightarrow$}} \if{html}{\out{&rarr;}} }

\newcommand{\otimes}{ \if{latex}{\out{$\otimes$}} \if{html}{\out{&otimes;}} }

\newcommand{\circ}{ \if{latex}{\out{$\circ$}} \if{html}{\out{&#x25cb;}} }



