Take the 2-minute tour ×
TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. It's 100% free, no registration required.

I am using this code

    z\in\ar@{|->}[d] & \mathbb{C}\ar[r]^{f}\ar[d] & \overline{\mathbb{C}}\\
    {}[z]\in & \mathbb{C}/L\ar[ru]_{\hat{f}}

to generate this diagram in LyX:

enter image description here

How can I show the arrowed circle inside the triangle (diagram) which mathematically indicates, that the diagram commutes?

share|improve this question
not directly related to your problem, but have a look at why-is-$$-preferable-to for reasons not to use $$...$$ –  cmhughes Nov 5 '12 at 2:24

1 Answer 1

up vote 11 down vote accepted

this uses "plain" latex, but i believe that can be embedded in a lyx session.


  \mathbb{C} \ar[r]^f \ar[d]
  \ar@{}[dr] |{\mathstrut\raisebox{2.5ex}{$\circlearrowright$\kern1.4em}}
  & \overline{\mathbb{C}} \\
  \mathbb{C}/L \ar[ru]_{\hat{f}} & \null

output of tex code

the \null is used to provide a path on which to set the arrowed circle; an empty \mbox{} would do as well. the position of the arrow is determined by experiment (starting with an educated guess).

share|improve this answer
Thanks for your reply! I tested it and it seems to work. At least I see the circled arrow. I assume, that raise box{2.5ex} is responsible for moving the box of the arrow up. Is there a way to push it to the left, too? –  Aufwind Nov 4 '12 at 23:13
@Aufwind -- inside the box with the arrow, there is a \kern instruction to the right of the arrow. i used this trick to make the arrow "wider", which has the effect of pushing it to the left. if you want it shifted more to the left, increase the 1.4em to whatever looks good to you. (i'm not familiar with this notation, so just shifted the position until it looked reasonable to me.) –  barbara beeton Nov 4 '12 at 23:23

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.