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?


1 Answer 1


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).

  • 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, 2012 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.) Nov 4, 2012 at 23:23

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .