mailing-list for TeXmacs Users

[Massimiliano Gubinelli <address@hidden>]

You can try to use \shift. For example:

(concat (long-arrow "<rubber-hookrightarrow>" (superpose "j" (shift "<circ>" "" "-0.9em"))))

where I did in this way to ensure that the circle is in the horizontal middle, but it is tricky to get it vertically correct. 

One can define “virtual glyphs” programmatically, see $TEXMACS_PATH/fonts/virtual/*, but I’m not sure how to use them.

Best

Max

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 arrow

Julien

Le 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