如何在 LaTeX 中构建下图？

Question

我想用 LaTeX 构建下图。最好的方法是什么？我想避免使用外部软件。（我目前有一个“线性”序列，\cdots\to H_p(L)\to H_p(K)\to\cdots但我想将其重新制作成图像中的样子。）

Answer 1

最困难的部分可能是如何使其适合文本宽度：

\documentclass{article}
\usepackage{tikz-cd}

\begin{document}

\[
\begin{tikzcd}[column sep=small]
\cdots \arrow[r,"\varepsilon_*"] &
  H_{p+2}(K,L) \arrow[d,"\partial_*"] \\
& H_{p+1}(L) \arrow[r,"i_*"] &
  H_{p+1}(K) \arrow[r,"\varepsilon_*"] &
  H_{p+1}(K,L) \arrow[d,"\partial_*"] \\
&&& H_{p}(L) \arrow[r,"i_*"] &
    H_{p}(K) \arrow[r,"\varepsilon_*"] &
    H_{p}(K,L) \arrow[d,"\partial_*"] \\
&&&&& H_{p-1}(L) \arrow[r,"i_*"] & \cdots
\end{tikzcd}
\]

\end{document}

使用此代码

\documentclass{article}
\usepackage{tikz-cd}

\begin{document}

\[
\begin{tikzcd}[column sep=.5em]
\cdots \arrow[r,"\varepsilon_*"] &[.5em]
  H_{p+2}(K,L) \arrow[d,"\partial_*"] \\
& H_{p+1}(L) \arrow[r,"i_*"] &
  H_{p+1}(K) \arrow[r,"\varepsilon_*"] &[.5em]
  H_{p+1}(K,L) \arrow[d,"\partial_*"] \\
&&& H_{p}(L) \arrow[r,"i_*"] &
    H_{p}(K) \arrow[r,"\varepsilon_*"] &[.5em]
    H_{p}(K,L) \arrow[d,"\partial_*"] \\
&&&&& H_{p-1}(L) \arrow[r,"i_*"] &[.5em] \cdots
\end{tikzcd}
\]

\end{document}

并且我们得到一个小于 1pt 的标准文本宽度article的溢出框，并且输出看起来完全可以接受。

Answer 2

基于 egreg 的回答，我想表明该图可以用纯 TeX 定义的宏来设置。

\def\rar#1{\mathop{\longrightarrow}\limits^{#1}}
\def\dar#1{\bigg\downarrow\rlap{$\scriptstyle#1$}}

$$
  \ialign{\hfil$#$\hfil&&\hskip.1em\hfil$#$\hfil\crcr
    \cdots & \rar{\varepsilon_*} & H_{p+2}(K,L) \cr
    && \dar{\partial_*} \cr
    && H_{p+1}(L) & \rar{i_*} & H_{p+1}(K) & \rar{\varepsilon_*} & H_{p+1}(K,L) \cr
    &&&&&& \dar{\partial_*} \cr
    &&&&&& H_{p}(L) & \rar{i_*} & H_{p}(K) & \rar{\varepsilon_*} & H_{p}(K,L) \cr
    &&&&&&&&&& \dar{\partial_*} \cr
    &&&&&&&&&& H_{p-1}(L) & \rar{i_*} & \cdots \cr
  }
$$

\bye