生成交叉引用图

Question

TL; DR是否有一个包可以从 tex 源文件自动生成推理结构图？

---

写数学文章很难。原因之一是，虽然论证的底层结构是有向图，但我们却不得不以线性方式书写。因此，将思想分成几个小节并清楚地解释一个（且仅一个）主要观点非常重要。

我认为让读者了解这些论证是如何结合在一起的会很有帮助。有没有现成的软件包可以做到这一点？例如，假设我有四个引理 A、B、C、D，其中

• A => B
• A => C
• （B 和 C）=> D
• D => E （主要定理）

我希望从源文件自动生成图表

\begin{lemma}\label{A}[A]
  ..
\end{lemma}

\begin{lemma}\label{B}[B]
  \ref{A}
\end{lemma}

\begin{lemma}\label{C}[C]
  \ref{A}
\end{lemma}

\begin{lemma}\label{D}[D]
  \ref{B}, \ref{C}
\end{lemma}

\begin{theorem}\label{E}[E]
  \ref{D}
\end{theorem}

如下图所示（带有合适的箭头..）

A ---> B

|      |
|      |
v      v

C ---> D ---> E

问题有没有可以开箱即用的软件包？

Answer 1

是的，有这样的软件包，其中之一就是tikz-cd。

\documentclass{article}
\usepackage{tikz-cd}
\begin{document}
\begin{tikzcd}
 A \arrow[r]\arrow[d] &B\arrow[d] &\\
 C \arrow[r] &D\arrow[r] & E\\
\end{tikzcd}
\end{document}