我正在使用此代码
$$
\xymatrix{
z\in\ar@{|->}[d] & \mathbb{C}\ar[r]^{f}\ar[d] & \overline{\mathbb{C}}\\
{}[z]\in & \mathbb{C}/L\ar[ru]_{\hat{f}}
}
$$
在 LyX 中生成此图表:
我如何显示三角形(图表)内的带箭头的圆圈,以从数学上表示该图表是可交换的?
答案1
这使用了“普通”乳胶,但我相信它可以嵌入到 lyx 会话中。
\documentclass{article}
\usepackage{xypic}
\usepackage{amssymb}
\begin{document}
\[
\xymatrix{
\mathbb{C} \ar[r]^f \ar[d]
\ar@{}[dr] |{\mathstrut\raisebox{2.5ex}{$\circlearrowright$\kern1.4em}}
& \overline{\mathbb{C}} \\
\mathbb{C}/L \ar[ru]_{\hat{f}} & \null
}
\]
\end{document}
用于\null
提供设置箭头圆的路径;空的\mbox{}
也可以。箭头的位置由实验确定(从有根据的猜测开始)。