\oplus 不工作和双箭头方程的限制

Question

我有一个有\oplus极限的方程，但是\limits给出\oplus了错误，并且还有另一个带有双箭头的关键方程。有人可以帮我输入这个方程吗？

Answer 1

有一个较大的\bigoplus值充当运算符。或者\oplus可以包装在\mathop：

\documentclass{article}
\usepackage{amsmath}
\begin{document}
\[\bigoplus_{\substack{\rho\in g,\\\rho \neq \rho_0}}\]       
\[\mathop{\oplus}_{\substack{\rho\in g,\\\rho \neq \rho_0}}\]
\end{document}

Answer 2

这是图形工具的工作，例如tikz-cd：

\documentclass{article}
\usepackage{tikz-cd,amsmath,amssymb}

\begin{document}

\[
\begin{tikzcd}[row sep=2pt]
{} & \mathrm{VI} \arrow{r} & \mathrm{X} \\
{} \\
\smash[b]{\bigoplus\limits_{\substack{\rho\in\mathfrak{g}\hat{\,}\\\rho\ne\rho_{0}}}}
\vphantom{\bigoplus} \mathrm{V}
  \arrow{uur} \arrow{ddr} \\
{} & & \mathrm{VIII} \arrow{uuu} \\
{} & \mathrm{VII} \arrow{ur} \arrow{dr} \\
{} & & \mathrm{IX}
\end{tikzcd}
\]

\end{document}

下标被去掉，因为否则会使箭头起始位置太低。注意\substack两行下标。

您可以使用以下方法使图表更加紧凑row sep=-4pt

正如 Qrrbrbirlbel 所建议的，\smash可以避免这个技巧：

\begin{tikzcd}[row sep=-4pt]
{} & \mathrm{VI} \arrow{r} & \mathrm{X} \\
{} \\
|[text depth=+0pt]|\bigoplus\limits_{\substack{\rho\in\mathfrak{g}\hat{\,}\\\rho\ne\rho_{0}}}
\mathrm{V}
  \arrow{uur} \arrow{ddr} \\
{} & & \mathrm{VIII} \arrow{uuu} \\
{} & \mathrm{VII} \arrow{ur} \arrow{dr} \\
{} & & \mathrm{IX}
\end{tikzcd}