☰

楔形间距和大楔形具有较大的索引

tag-icon • tag-icon spacing amsmath
楔形间距和大楔形具有较大的索引

我有这个数学代码：

\[
\bigwedge_{i,j \in \underline{n},\atop { i \neq j,\atop k,l \in \underline{|\sigma|}}} x_{i,k} \neq x_{j,l} \wedge
\bigwedge_{i \in \underline{n},\atop k \in \underline{|\sigma|-1}} x_{i,k+1} = x_{i,k} + 1 \wedge
\bigwedge_{i \in \underline{n},\atop k \in \underline{|\sigma|}} Q_{\sigma_k} x_{i,k}
\]

周围的垂直空间\bigwedge非常大，看起来有点奇怪。我希望\bigwedge（例如x_{i,k}\neq...）的“内容”更靠近它，然后可能\wedge与内容稍微分开一点，更靠近下一个\bigwedge。

我怎样才能做到这一点？

答案1

您可以通过在命令\bigwedge中添加下标来减少周围的间距\mathclap数学工具包。这会将其参数放在一个零宽度框中，该框以所需位置为中心。这还具有将 放得更\wedge近的效果\bigwedge。如果您希望它更近，那么可能有比仅使用负间距（\!）更好的方法，但这确实可以解决问题。

（我怀疑如果这些符号的形状不是那么奇怪的话，\wedge和之间的空格\bigwedge就不会那么明显了。）

楔子

代码：

\documentclass{standalone}

\usepackage{amsmath}
\usepackage{mathtools}

\begin{document}
\[
\bigwedge_{i,j \in \underline{n},\atop { i \neq j,\atop k,l \in \underline{|\sigma|}}} x_{i,k} \neq x_{j,l} \wedge
\bigwedge_{i \in \underline{n},\atop k \in \underline{|\sigma|-1}} x_{i,k+1} = x_{i,k} + 1 \wedge
\bigwedge_{i \in \underline{n},\atop k \in \underline{|\sigma|}} Q_{\sigma_k} x_{i,k}
\]

\[
\bigwedge_{\mathclap{i,j \in \underline{n},\atop { i \neq j,\atop k,l \in \underline{|\sigma|}}}} x_{i,k} \neq x_{j,l} \wedge
\bigwedge_{\mathclap{i \in \underline{n},\atop k \in \underline{|\sigma|-1}}} x_{i,k+1} = x_{i,k} + 1 \wedge
\bigwedge_{\mathclap{i \in \underline{n},\atop k \in \underline{|\sigma|}}} Q_{\sigma_k} x_{i,k}
\]

\[
\bigwedge_{\mathclap{i,j \in \underline{n},\atop { i \neq j,\atop k,l \in \underline{|\sigma|}}}} x_{i,k} \neq x_{j,l} \wedge
\bigwedge_{\mathclap{i \in \underline{n},\atop k \in \underline{|\sigma|-1}}} x_{i,k+1} = x_{i,k} + 1 \wedge\!\!
\bigwedge_{\mathclap{i \in \underline{n},\atop k \in \underline{|\sigma|}}} Q_{\sigma_k} x_{i,k}
\]
\end{document}

答案2

您还可以隐藏下标的宽度，我想这和 mathclap 的效果差不多：

$$
  \let\hw=\hidewidth
  \let\ul=\underline
  \bigwedge_{\hw i,j\in\ul n,\hw\atop{\hw i\neq j\hw\atop\hw k,l\in\ul{|\sigma|}\hw}}
    x_{i,k}\neq x_{j,l}\wedge
    \bigwedge_{\hw i\in\ul n,\hw\atop\hw k\in\ul{|\sigma|-1}\hw}
    x_{i,k+1}=x_{i,k}+1\wedge\bigwedge_{\hw i\in\ul n,\hw\atop\hw k\in\ul{|\sigma|}\hw}
    Q_{\sigma_k} x_{i,k}
$$
\bye

隐藏宽度

相关内容