I am creating several commutative diagrams with diagonal arrows, and I'm so close to the look I want. My last step is to be able to create double head arrows and hook arrows of length x. I found an answer to the double head arrow problem here: Is it possible to have a two head arrow as a decorator?. The same solution doesn't work for the hook arrow, though, because it has 'decorations' on both ends.

It looks like lots of people have similar problems, but I haven't been able to find a solution other than creating the arrow in tikz, which doesn't seem terribly dynamic. Thanks for any help.

As per request, my MWE is



F_1 & \multicolumn{3}{c}{\xrightarrow{\mathmakebox[1cm]{\phi_1}}} & F_0 & \overset{\phi_0} \twoheadrightarrow & M \\
& \begin{turn}{-45}$\Overrightarrow{\mathmakebox[.7cm]{}}$\end{turn} & &  \begin{turn}{45}$\hookrightarrow$\end{turn} & & & \\
& & \ker(\phi_0) & & & & 


Which gives me

enter image description here

As you can see, the double headed angled arrow looks adequate, save for the thickness that I think I can fix, but I want to make the hook arrow look similar.

  • 1
    have you seen the tikz-cd package- it has all kinds of useful examples
    – cmhughes
    Jul 23 '13 at 19:01
  • in the question you cite, the double-headed arrow acts as a math accent, but you say you are creating commutative diagrams. are you using a diagram package, and if so, which one? a minimal working example (MWE) would be very helpful. Jul 23 '13 at 21:18

The idea of using TikZ is good; but better yet is to use tikz-cd:


 F_1 \arrow{rr}{\phi_1} \arrow[two heads]{dr} && F_0 \arrow[two heads]{r}{\phi_0} & M \\
     & \ker(\phi_0) \arrow[hookrightarrow]{ur}

enter image description here

  • I am very willing to use that to get such amazing results! Thanks egreg, and also cmhughes for suggesting this package.
    – Trevor
    Jul 25 '13 at 12:58
  • hmmm. the arrowheads don't exactly match. (nitpicking again.) Jul 25 '13 at 14:28
  • 1
    @barbarabeeton Fixed. Reading the docs sometimes helps. ;-)
    – egreg
    Jul 25 '13 at 14:31
  • 1
    @egreg -- i guess you can argue with david carlisle about reading docs. he never listens to me ... Jul 25 '13 at 14:34

if you're willing to use xy-pic this might work for you.


 F_1 \ar[rr]^{\phi_1} \ar@{->>}[dr] && F_0 \ar@{->>}[r]^{\phi_0} & M \\
     & \ker(\phi_0) \ar@{^{(}->}[ur]

output of example code

  • As if it is not enough that David Carlisle steals our well-deserved TikZ points with picture mode .... :P
    – percusse
    Jul 24 '13 at 21:58

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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