mailing-list for TeXmacs Users

[Frank <address@hidden>]

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