☰

xymatrix 中的垂直 $\cong$ 或 $\sym$

tag-icon • tag-icon xy-pic
xymatrix 中的垂直 $\cong$ 或 $\sym$

我需要证明交换图中的某个垂直箭头是同构的。我想$\sim$在垂直线旁边添加一个，旋转 90 度，或者用旋转的$\cong$符号替换箭头。

我怎样才能实现这两个选项中的任何一个xymatrix？

答案1

您也可以输入\ar[d]^*[@]{\cong}此命令，使符号\cong跟随箭头的方向，但此命令存在一些错误，如果箭头向左，则无法正常工作。或者，如果您想强制使用不同的方向，请尝试\ar[d]^*[@!180]{\cong}此命令旋转 180 度，这样您将得到一个上下颠倒的\cong。

编辑

因此，我在另一篇文章中找到了向左箭头的解决方案，我将在评论中引用该解决方案。这是一个完整的示例，其中使用空箭头@{}。

\[\xymatrix{
\bullet&\bullet&\bullet\\
\bullet&\bullet\ar@{}[ru]|*[@]{\cong}
               \ar@{}[r]|*[@]{\cong}
               \ar@{}[rd]|*[@]{\cong}
               \ar@{}[d]|*[@]{\cong}
               \ar@{}[ld]|*[@]{\cong}
               \ar@{}[l]|*[@]{\cong}
               \ar@{}[lu]|*[@]{\cong}
               \ar@{}[u]|*[@]{\cong}&\bullet\\
\bullet&\bullet&\bullet
}\]

\[\xymatrix{
\bullet&\bullet&\bullet\\
\bullet&\bullet\ar@{}[ru]|*=0[@]{\cong}
               \ar@{}[r]|*=0[@]{\cong}
               \ar@{}[rd]|*=0[@]{\cong}
               \ar@{}[d]|*=0[@]{\cong}
               \ar@{}[ld]|*=0[@]{\cong}
               \ar@{}[l]|*=0[@]{\cong}
               \ar@{}[lu]|*=0[@]{\cong}
               \ar@{}[u]|*=0[@]{\cong}&\bullet\\
\bullet&\bullet&\bullet
}\]

第一个xymatrix是错误的，第二个是正确的。它的作用=0是使 $\cong$ 盒子具有维度。

答案2

您始终可以使用\rotatebox{90}{$\cong$}（与\usepackage{graphicx}）

相关内容