I would like to learn to make commutative rectangles using Tikz. How can I do that? I have tried

A \arrow{r}{\varphi} \arrow[swap]{dd}{g\circ f} & B \arrow{d}{g} \\
& C

but it draws only a triangle.


3 Answers 3


I don't know what you exactly wanted to draw, so I reproduce one of the diagrams from your link, showing how to do it with pst-node and with tikz-cd. One of the main differences is that in pstricks you first describe the nodes, then the arrows, while with tikz-cd, nodes and arrows are described simultaneously.

I load auto-pst-pdf, as pdflatex doesn't support postscript instructions. You have to set the --enable-write18 compiler switch (MiKTeX) or -shell-escape (TeX Live, MacTeX). Alternatively, you can compile with xelatex.


 \[ \psset{arrows=->, arrowinset=0.25, linewidth=0.6pt, nodesep=3pt, labelsep=2pt, rowsep=0.7cm, colsep = 1.1cm, shortput =tablr}
 A & B\\%
 A_f & B_g
 \ncline{1,1}{1,2}^{\varphi} \ncline{1,1}{2,1} <{\varrho_f }
 \ncline{1,2}{2,2} > {\varrho_g}

\[ \begin{tikzcd}
A \arrow{r}{\varphi} \arrow[swap]{d}{\varrho_f} & B \arrow{d}{\varrho_g} \\%
A_f \arrow{r}{\varphi_f}& B_g

enter image description here

  • This code does not work for me. It does not produce any of the labels ϱ_f and ϱ_g under xelatex and under pdflatex or lualatex it will not run at all.
    – Paulo Ney
    Mar 16, 2019 at 13:07
  • There have been changes in pstricks since then. Try removing the [pdf] option and load auto-pst-pdf (after pstricks).
    – Bernard
    Mar 16, 2019 at 13:12
  • Nope! It will not run under any of the modern tex engines.
    – Paulo Ney
    Mar 16, 2019 at 13:20
  • Did you try xelatex?
    – Bernard
    Mar 16, 2019 at 13:48
  • @PauloNey: I'm sorry, there was a problem with my editor at the time, which I hadn't noticed: the TeX code for Greek letters had been replaced with real Greek letters (in the code). I've just fixed it. Could you try the updated code?
    – Bernard
    Mar 16, 2019 at 13:59

OK. I learned to make commutative rectangles.

A_f \arrow{r}{\varphi_f} \arrow[swap]{d}{\varrho_x^f} & B_g \arrow{d}{\varrho_x^g} \\
A_x \arrow{r}{\varphi_y} & B_y

Purely with Plain TeX math mode:


\def\cdstrut{\vrule height .6\cdsep width 0pt depth .4\cdsep}
\def\@cdstrut{{\advance\cdsep by 2em\cdstrut}}

  \ifx d#1
  \ifx u#1
  \ifx r#1
    \mathop{\hbox to \cdsep{\rightarrowfill}}\limits^{#2}\fi
  \ifx l#1
    \mathop{\hbox to \cdsep{\leftarrowfill}}\limits^{#2}\fi

  A                    & \arrow{r}{\varphi}   & B                    \cr
  \arrow{d}{\varrho_f} &                      & \arrow{d}{\varrho_g} \cr
  A_f                  & \arrow{r}{\varphi_f} & B_g                  \cr


enter image description here

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