How do I recreate this commuting square in latex?

Question

I'm trying to recreate the following diagram:

Thanks in advance!

You can try to use a 3x3 table – Alan Xiang Jul 31 '22 at 03:56 — Alan Xiang, Jul 31 '22 at 03:56

score 5 · Answer 1 · answered Jul 31 '22 at 04:34

5

A matrix works

\documentclass{article}
\usepackage{amsmath}
\begin{document}
$\begin{matrix} N&\subset&M \ \cup&&\cup \ Q&\subset&P \end{matrix}$
\end{document}

answered Jul 31 '22 at 04:34

plante

1,349

score 2 · Answer 2 · answered Jul 31 '22 at 08:57

A very short code with pstricks:

     \documentclass[a4paper,11pt, pdf]{article}
\usepackage{pst-node}

\newpsobject{ncemptyline}{ncline}{linestyle=none}
\newcommand*\ncsubset[2]{\ncemptyline{#1}{#2}\ncput[nrot=:U, npos=0.45]{ ⊂}}

\pagestyle{empty}

\begin{document}

\[ \begin{psmatrix}[rowsep = 0.1, colsep = 0.3]
N &amp; \subset &amp; M \\
\rput{*90}{\subset} &amp; &amp; \rput{*90}{\subset} \\[1ex]
Q &amp; \subset &amp; P
\end{psmatrix} \]

\end{document}

score 1 · Accepted Answer · answered Jul 31 '22 at 08:30

You can use matrix for a naïve solution, but you should realize that \subset and \cup are generally not the same symbol with a rotation.

I suggest to rotate \subset, but also to modify the vertical spacing.

A different solution uses tikz-cd; I show also how to change the spacing in a simpler way.

\documentclass{article}
\usepackage{amsmath}
\usepackage{graphicx} % for the first solution
\usepackage{tikz-cd} % for the second solution
% for the second solution, see https://tex.stackexchange.com/a/216042/4427
\tikzset{
  symbol/.style={
    draw=none,
    every to/.append style={
      edge node={node [sloped, allow upside down, auto=false]{$#1$}}}
  }
}
\begin{document}
[
\renewcommand{\arraystretch}{0}
\begin{matrix}
N & \subset & M \[2ex]
\rotatebox[origin=c]{90}{$\subset$} &&
\rotatebox[origin=c]{90}{$\subset$} \[2.5ex]
Q & \subset & P
\end{matrix}
]
[
\begin{tikzcd}
N \arrow[r,symbol=\subset] & M \
Q \arrow[r,symbol=\subset] \arrow[u,symbol=\subset] &
P \arrow[u,symbol=\subset]
\end{tikzcd}
]
[
\begin{tikzcd}[row sep=1em,column sep=1em]
N \arrow[r,symbol=\subset] & M \
Q \arrow[r,symbol=\subset] \arrow[u,symbol=\subset] &
P \arrow[u,symbol=\subset]
\end{tikzcd}
]
\end{document}

Thanks! I am happy there is an answer that includes spacing. I was also concerned about \cup vs. \subset. When you say "generally not the same", does that mean there are situations where they are the same? — Infimum, Jul 31 '22 at 22:06

How do I recreate this commuting square in latex?

3 Answers3