☰

三角形内的箭头

tag-icon • tag-icon commutative-diagrams
三角形内的箭头

我正尝试将一个放入\Rightarrow三角形内。

我有正方形的代码，但是我无法用它对三角形做同样的事情。

\documentclass[12pt,reqno,a4paper]{amsart}
%\usepackage[utf8]{inputenc} % not needed with up-to-date TeX systems
\usepackage[english]{babel}

\usepackage{amsmath,amsthm,amsfonts,amssymb}
\usepackage{mathtools}
\usepackage{color}

\usepackage{mathrsfs}
\usepackage[all]{xy}
\usepackage{tikz-cd}
\usepackage[normalem]{ulem} % do you *really* need it?


\usepackage{hyperref}

\pagestyle{myheadings}

\textheight 9.3in 
\textwidth 6.5in
\calclayout


\begin{document}

\begin{tikzcd}
A \arrow[dd,"a"'] \arrow[rr, "b"] &  & B \arrow[dd, "c"] \\
&  &  \\
C  \arrow[Rightarrow, shorten >=20pt, shorten <=20pt, uurr] \arrow[rr, "d"] &  & D
\end{tikzcd}.

\end{document}

我正在寻找类似以下内容的内容：

在此处输入图片描述

答案1

与手册第 8 页底部的示例非常相似。诀窍是为边缘标签命名，并在一些 中使用这些名称\arrow[from=<from_name>,to=<to_name>,...]，其中...代表其他选项，例如Rightarrow和/或边缘标签。

\documentclass[12pt,fleqn,reqno,a4paper]{amsart}
\usepackage[english]{babel}
\usepackage{mathtools}
\usepackage{mathrsfs}
\usepackage{tikz-cd}
\begin{document}
your ``square''
\[\begin{tikzcd}
A \arrow[dd,"a"'] \arrow[rr, "b"] &  & B \arrow[dd, "c"] \\
&  &  \\
C  \arrow[Rightarrow, shorten >=20pt, shorten <=20pt, uurr] \arrow[rr, "d"] &  & D
\end{tikzcd}\]
\bigskip

``triangle''
\[\begin{tikzcd}
& |[alias=C]| C \arrow[dl,"a"'] \arrow[dr, "b"]  &  \\[2em]
A   
\arrow[rr, "" {name=U}] &  & B
\arrow[Rightarrow,from=U,to=C,shorten >=1ex,shorten <=1ex]
\end{tikzcd}\]
\bigskip

``triangle'' with label
\[\begin{tikzcd}
& |[alias=C]| C \arrow[dl,"a"'] \arrow[dr, "b"]  &  \\[2em]
A   
\arrow[rr, "u" {name=U}] &  & B
\arrow[Rightarrow,from=U,to=C,shorten >=1ex,shorten <=1ex,"h"]
\end{tikzcd}\]
\bigskip

``row''
\[\begin{tikzcd}
A   \arrow[rr,bend left, "" {name=U}] 
\arrow[rr,bend right, "" {name=V}] &  & B
\arrow[Rightarrow,from=U,to=V,shorten <=1ex]
\end{tikzcd}\]
\bigskip

``row'' with label
\[\begin{tikzcd}
A   \arrow[rr,bend left, "u" {name=U}] 
\arrow[rr,bend right, "v" {name=V}] &  & B
\arrow[Rightarrow,from=U,to=V,shorten <=1ex,"h"]
\end{tikzcd}\]
\end{document}

在此处输入图片描述

答案2

你可以相当简单地使用以下方法完成这些韓國但我并不认为手动的或者参考指南非常容易理解。您需要的详细信息位于参考指南的第 25 节中。

这是我成功制作出来的：

两两细胞

这是源代码：

\documentclass{article}
\usepackage[all]{xy}
\xyoption{2cell}
\UseAllTwocells
\begin{document}

\[
    \xymatrix@C=14pt{ 
              & C \ar[dl] & \\
    A \ar[rr] &           & B \ullowertwocell<0>{<-2>}
    }
\]

\[
    \xymatrix@C=48pt{A\rtwocell & B}
\]

\end{document}

笔记

  • 第二张图（下图）比较简单。这里你需要做的就是默认\rtwocell制作两个从A到 的箭头B，方向箭头指向下方。

  • 在上图中，我使用了额外的&标记将三个单元格放入 3x2 的网格中，然后我调整了列宽（使用@C=14pt）使其看起来更等边。

  • 从 A 到 B 和从 C 到 A 的箭头是常规简单\ar箭头。

  • 从 B 到 C 的箭头是“向左上方的两个单元格箭头的下半部分”，这转化为\ullowertwocell，如图所示

  • 但要让这支箭笔直，你必须在它后面立即添加一个“轻推”<0>

  • 然后为了将宽箭头移到正确的位置，你还必须用{<-2>}

相关内容