[comp.text.tex] making new math symbols - how?

verwer@ruuinf.cs.ruu.nl (Nico Verwer) (10/25/90)

I would like to know how to do the following:
I am writing an article on linear logic, and i need the linear
implication symbol, which is an arrow with a circle instead of an
arrowhead: --o .
This is a binary operator, so I first tried

   \newcommand{\LIM}{\mathbin{\relbar\mkern-8mu\circ}}

This looks good in display style and text style --- I chose the -8mu so
that the \circ is put just against the \relbar. But in scriptstyle, the
\circ ends up halfway the \relbar, which looks ugly.

I was surprised, because I thought that the mu kerning would scale down
in script style, keeping the relative distance between the symbols
constant.
Not knowing what went wrong , I tried

   \newcommand{\LIM}{\mathbin{\mathpalette{}{\relbar\mkern-8mu\circ}}}

but this gave the same result.

What am I missing here? I think I don't understand muglue, but I cannot
figure out how to do this.

Thanks for any help,
-- 
Nico Verwer                                       | verwer@cs.ruu.nl
Dept. of Computer Science, University of Utrecht  | phone: +31 30 533921
p.o. box 80.089, 3508 TB Utrecht, The Netherlands | fax:   +31 30 513791
      No military intervention in the Gulf - Stop the war drive!