[texhax] a new math symbol?

[Robin Fairbairns]

> % not font-size independent
> \newcommand{\openset}{\mathrel{\subset \hspace{-8.35pt} \circ}}
> % this is a nasty hack for 12-point
> \newcommand{\bigopenset}{\mathrel{\subset \hspace{-9.25pt} \circ}}
> 
> Is there a way to get this symbol to work in a font-size-independent way
> (without resorting to METAFONT)?

there's donald arseneau's \moverlay macro (posted to comp.text.tex in
march), but it produces a rather tighter nestled circle than your
macro does:

\makeatletter
\def\moverlay{\mathpalette\mov at rlay}
\def\mov at rlay#1#2{\leavevmode\vtop{%
   \baselineskip\z at skip \lineskiplimit-\maxdimen
   \ialign{\hfil$#1##$\hfil\cr#2\crcr}}}
\makeatother

now compare \moverlay{\subset\cs\circle}
      with  \subset \hspace{-8.35pt} \circ

the \moverlay is placing the two symbols on top of each other at their
centres; it is probably possible to add a jot of some sort to get what
you have, but i've not tried that.