\dvips % we need postscript features \usepackage[small]{diagrams} % load diagrams \begin{diagram} A & & \rTo^{f} & & B & & \\ & \rdTo_a & & & \vLine^{h} & \rdTo_b & \\ \dTo^{g} & & A & \rTo^f & \HonV & & B \\ & & \dTo^g & & \dTo & & \\ C & \hLine & \VonH & \rTo^{k} & D & & \dTo_h \\ & \rdTo_c & & & & \rdTo_d & \\ & & C & & \rTo^k & & D \\ \end{diagram}