☰

xymatrix 中的子集箭头

tag-icon • tag-icon arrows xy-pic
xymatrix 中的子集箭头

是否可以在 xymatrix 中制作一个作为子集符号的箭头？

答案1

我个人使用：

\documentclass{article}
\usepackage[all]{xy}

\begin{document}

\[
\xymatrix@1{A\, \ar@{}[r]|-*[@]{\subset} & B}
\]

\end{document}

它非常简单，我想如果条目之间的空间太大，它看起来会很奇怪，但我认为这是最好的方式，扩大的子集符号很糟糕。

也许，只要稍微掌握一些 xy-pic 构造技巧，您就可以根据条目之间的空间稍微调整符号的比例。手动操作肯定是可行的，但我想也可以自动完成。

答案2

通常使用开头带有子集符号的箭头来表示单态，（例如amsmth's \hookrightarrow）。该xy包提供了@{^{(}->}此类箭头的构造：

\documentclass{article}
\usepackage{amsmath}
\usepackage[all]{xy}

\begin{document}

\[A\hookrightarrow b\]

\[
\xymatrix@1{A\, \ar@{^{(}->}[r] & B}
\]

\end{document}

答案3

如果你想要一个可扩展的子集符号，你可以使用几个箭头

\ar@{^{(}-}[r]\ar@<1ex>@{-}[r]

相关内容