On 20. Apr 2022, at 22:41, Julien Frontisi <address@hidden> wrote:Hi,did you try <circ> followed by a negative space and then an arrow ?for example : <space|-3mm> for a short arrow and <space|-4mm> for a long arrowJulienLe 20 avr. 2022 à 19:10, Frank <address@hidden> a écrit :Dear all,
I wonder how to put a circle in the middle of an arrow. I tried the following:
(math (document (superpose "<hookrightarrow>" "<circ>")))
and
(math (superpose (long-arrow "<rubber-hookrightarrow>" "j") "<circ>"))
which do not work properly. I want that the circle could be arranged so that it always lie at the midpoint of the arrow, say.
Thanks.
Best wishes,
Frank
Archive powered by MHonArc 2.6.24.