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!