☰

定义函数时如何绘制像这样的长对齐箭头？

tag-icon • tag-icon align function
定义函数时如何绘制像这样的长对齐箭头？

在此处输入图片描述 在此处输入图片描述

我认为一定是某些特殊环境，但我找不到。该系统也适用于较长的序列，所以我猜它可能依赖于某些图表绘制器，就像 tikz 一样。
这可以通过某种方式实现，例如“手动测量”，就像评论所建议的那样，但我相信有一些更方便的方法可以做到这一点……
感谢您的回答。

答案1

以下有两种方法可以（几乎）实现此目的：

  • 使用 amscd
  • 使用 tikzcd

一些评论：

  • 为了简单起见，我没有寻找 Z 的正确表示
  • amscd 似乎没有提供可扩展的箭头本身，但标准可能不太难读
  • 示例中的文本可能太长
  • 排版文本和数学有点......
  • tikzcd 使其尽可能简单（缺少 \text{} 功能？）

结果

\documentclass[10pt,a4paper]{article}
\usepackage{amsmath}
\usepackage{amscd}
\usepackage{tikz-cd}

\begin{document}
 \section{amscd, example from ch. 8 adapted}
 \begin{equation}
  \begin{CD}
    \text{\{Elliptic curves\ } E \text{\ with a quasi-isogeny\ }\alpha \text{:\ } E \rightarrow E_0 \text{\}}
     @>\cong>> 
     \text{\{} \hat Z \text{-lattices in\ } \hat V(E_0) := \text{\dots\}}\\
    E @>>> \hat T(E)
 \end{CD}
 \end{equation} 
 \vspace{2cm}
  \begin{equation}
  \begin{CD}
    S^{{\mathcal{W}}_\Lambda}\otimes T @>j>> T\\
    (S\otimes T)/I @>>> (Z\otimes T)/J
 \end{CD}
 \end{equation} 
\bigskip
 
 
 \section{tikzcd, example from ch. 1.2 adapted}
 \bigskip
 \begin{tikzcd}
 {\{Elliptic\ curves\ E\ with\ a\ quasi-isogeny\ \alpha:\ E\ \rightarrow\ E_0\}} \arrow[r, "\cong"]  & {\{Z-lattices\ \dots\}}\\
E \arrow[r]&  \hat T(E)
 \end{tikzcd}

\end{document}

答案2

好的，因为你改变了你的草图，为了更容易地跟踪与代码相关或不相关的东西，这里有第三种方法可以做到：

  • 使用tikz
  • 和一个matrix网格

你想要什么：

客观的

结果，带有小类型的：

结果

提示：

  • 根据需要调整行和列的矩阵分离
  • 在节点中混合文本和数学{ }可能迟早会造成一些麻烦
  • \raisebox当我使用排版指数时你可以看到这一点op
  • 以及小括号；amsmath 的矩阵方程就可以了，但需要\text{}再次使用
  • 根据需要引入节点等的样式（这里：多线和箭头）

代码：

\documentclass[10pt,a4paper]{article}
\usepackage{amssymb}% for the set symbols
\usepackage{tikz}
\usetikzlibrary{arrows.meta}

\begin{document}
 \section{tikz and matrix}

 \begin{tikzpicture}[%          multiline, change arrow tip
    frm/.style={align=center},
    >=Stealth
 ]
  % ~~~ matrix puts \node s on a grid ~~~~~~~~~~~~~~
  \matrix[column sep=15mm, row sep=14pt]{
    % ~~~ just regular nodes with some text, w.o. coordinates
    \node[frm]  (A1) {\{Strongly convex rational\\
                      polyhedral cone in\\
                      $(\mathbb{Z}^n)^* \otimes \mathbb{R}$\}}; &
    \node       (A2) {\{Submonoids of $\mathbb{Z}^n$\}\raisebox{1.2ex}{op}}; &
    \node       (A3) {$\mathbf{Sch}_k$}; \\
    
    \node (B1) {$\check \sigma$}; &
    \node (B2) {$\sigma$}; &
    \node (B3) {Spec $k[\sigma] =: U_{\check \sigma}$}; \\
  };
  % ~~~ let's draw some arrows
  \draw[->] (A1) -- (A2);
  \draw[->] (A2) -- (A3);
  \draw[->] (B1) -- (B2);
  \draw[->] (B2) -- (B3);
 \end{tikzpicture}
\end{document}

相关内容