请帮我绘制下图:
\begin{displaymath}
\xymatrix{
H\ar[r]&H .1={}_HI_Q\supset 1.Q&Q\ar[l]_\epsilon^{\cong} \\
&R\ar[u]\ar[r]&R\ar[u]
}
\end{displaymath}
答案1
如果你愿意切换到tikz-cd,你可以这样做:
% arara: pdflatex
\documentclass{article}
\usepackage{tikz-cd}
\tikzset{
symbol/.style={
draw=none,
every to/.append style={
edge node={node [sloped, allow upside down, auto=false]{$#1$}}}
}
}
\begin{document}
\[
\begin{tikzcd}[row sep= 2ex, column sep=0.8em]
H \arrow[twoheadrightarrow]{rrr} & & & H\cdot 1 \arrow[symbol={=}]{r} & {}_HI_Q \arrow[symbol=\supset]{r} & 1\cdot Q \arrow[symbol={=}]{d} & & & Q \arrow{lll}{\cong}[swap]{\varepsilon}\\
& & & & & \widetilde{E}(R) \arrow[symbol=\supset]{d} & & & \\
& & & & & R \arrow[symbol={=}]{rrr} & && R \arrow[rightarrowtail]{uu}
\end{tikzcd}
\]
\end{document}
在带有等号的向下箭头中,可以明显看到关系符号设置在不同的高度。如果您不喜欢这种错位,可以使用 进行纠正(编码不太美观)\arrow[symbol={\raisebox{-1.3ex}{=}}]{d}
。