☰

xypic 中的圆圈和彩色箭头

tag-icon • tag-icon color xy-pic
xypic 中的圆圈和彩色箭头

我正在使用\usepackage[all,cmtip]{xy}，我想为 创建一个圆圈$\overline{D_1^n}$，我想用红色标记箭头$f\circ\pi$，我还想为 加阴影$S^n/\mathbb{Z}^2$。我插入了干馏分-函数，其中干馏分代表

\newcommand{\dsfrac}[2]{\displaystyle{\Huge{\sfrac{#1}{#2}}}}

代码如下：

\documentclass{book}
\usepackage[all,cmtip]{xy}
\usepackage{stix}
\usepackage{mathtools}
\usepackage{xfrac}
\usepackage[bb=ams]{mathalpha}

\begin{document}

\Large

\newcommand{\dsfrac}[2]{\displaystyle{\Huge{\sfrac{#1}{#2}}}}

\newcommand{\tonde}[1]{\bigl(#1\bigr)}

\newcommand{\Z}{\mathbb Z}

\renewcommand{\P}{\mathbb P}

\newcommand{\R}{\mathbb R}

\begin{equation}
\xymatrix{{\overline{D_1^n}}\ar@{^{(}->}[rr]^{i}\ar@{>>}[d]_{\pi_1}\ar@{^{(}->>}[drr]_{f\circ\pi_1}^{\pi_2\circ i}&&S^n\ar@{>>}[d]^{\pi_ 2}\\\dsfrac{\overline{D_1^n}}{\!\!\sim}\ar@{^{(}->>}[rr]^{f}_{\cong}&&\boxed{\dsfrac{S^n}{\Z^2}}\ar@{=}[r]&\P^n\tonde{\R}}
\end{equation}

\end{document}

太感谢了

答案1

这是一个使用 的解决方案tikz-cd，它使这个过程变得更容易一些。具体来说，您可以使用cells=nodes来获取您的盒子和圆圈。

您在代码中更改字体大小的方式存在一些问题。如果您想放大整个图表，请使用包adjustbox和

\adjustbox{scale=1.5,center}{\begin{tikzcd}...\end{tikzcd}}

我不确定你所说的阴影是什么意思$S^n/\mathbb{Z}^2$，所以我把它变成了蓝色。这很容易改变。

要更改箭头，请添加arrow style=tikz, >={Triangle[length=2mm]}到选项中。您可以随意tikzcd调整箭头的length和。您也可以考虑类似的选项。width>={latex}

在此处输入图片描述

\documentclass{article}
\usepackage{amsmath}
\usepackage{stix}
\usepackage{tikz-cd}
\usepackage{adjustbox}

\newcommand{\Z}{\mathbb Z}
\renewcommand{\P}{\mathbb P}
\newcommand{\R}{\mathbb R}

\begin{document}

\begin{tikzcd}[arrow style=tikz, >={Triangle[length=2mm]}, cells={nodes={inner sep=2mm}}, row sep=1cm]
\overline{D_1^n}\arrow[rr, hook, "i"]\arrow[drr, red, hook, two heads, text=black, "\pi_2\circ i", "f\circ\pi_1"']\arrow[d, two heads, "\pi_1"'] 
    && S^n\arrow[d, two heads, "\pi_2"]\\
|[draw, circle, inner sep=0pt, outer sep=2pt]|\raisebox{.5ex}{$\overline{D_1^n}$}\Big/\raisebox{-.5ex}{$\sim$}\arrow[rr, hook, two heads, "f", "\cong"'] 
    && |[draw, inner sep=2pt, outer sep=2pt, text=blue]|\raisebox{.5ex}{$S^n\!$}\Big/\raisebox{-.5ex}{$\Z^2$}\arrow[r, equals] & \P^n(\R) 
\end{tikzcd}

\end{document}

相关内容