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!