自动使三个括号大小相同

自动使三个括号大小相同

我想做类似left[and 的事情right],但|在中间添加一个自动与左/右大小相同的附加项。这源于我表示条件期望的方式。我希望定义一个命令来产生

E[ (第一个参数) | (第二个参数) ]

其中 [ , | 和 ] 全部自动具有相同的大小(即,第一个/第二个参数中“较大”的那个决定了它们三个的大小。

以下最小工作示例包含我迄今为止进行的两次尝试: \Econd,它根本不缩放 |(只是为了显示我不想要的内容),以及\Econd2,这是我在搜索类似问题后想出的解决方案。它用于\vphantom强制第一个/第二个参数具有相同的大小,并且使left.左右成对匹配。这几乎就是我想要的,但由于左右,我现在在“|”后获得了一个额外的空格。当然我可以在\!那里插入一个(这看起来几乎就是我想要的),但我想知道是否有更优雅的解决方案?

MWE 显示了一个标准情况,然后左边的参数稍微大一些,以至于“|”有点太小,然后是我编造的一个极端例子。

梅威瑟:

\documentclass{scrartcl}
\usepackage{amsmath} % math. Symbole
\usepackage{dsfont} %\mathds{P} Wahrscheinlichkeit-Symbol; E für Erwartungswert

\newcommand{\Econd}[2]{\mathds{E}\!\left[#1|#2\right]}
\newcommand{\Econdtwo}[2]{\mathds{E}\!\left[#1 \vphantom{#2} \right|\left. #2 \vphantom{#1} \right]}

\begin{document} 

Some examples are
\begin{align*}
&\Econd{X_t}{X_s}\\ %normal look
&\Econd{X_t^2}{X_s}\\ %tiny bit too small
&\Econd{\left(\left(\frac{fra}{ction}\right)^{po} X_t\right)^{wer}}{X_s} %extreme case
\end{align*}

The same examples with the second command
\begin{align*}
&\Econdtwo{X_t}{X_s}\\ %normal look
&\Econdtwo{X_t^2}{X_s}\\ %tiny bit too small
&\Econdtwo{\left(\left(\frac{fra}{ction}\right)^{po} X_t\right)^{wer}}{X_s} %extreme case
\end{align*}

\end{document}

MWE的图片:

MWE_图片

答案1

\left[....\middle|....\right\]

答案2

标准应用\DeclarePairedDelimiterX

\documentclass{article}

\usepackage{mathtools,amssymb}

\newcommand{\Econd}{\operatorname{\mathbb{E}}\EcondX}
\DeclarePairedDelimiterX{\EcondX}[2]{[}{]}{%
  #1\nonscript\;\delimsize|\nonscript\;#2%
}

\begin{document}

Some examples are
\begin{align*}
&\Econd{X_t}{X_s}\\ %normal look
&\Econd[\big]{X_t^2}{X_s}\\ %slightly bigger
&\Econd*{\left(\left(\frac{fra}{ction}\right)^{po} X_t\right)^{wer}}{X_s} %extreme case
\end{align*}

\end{document}

在此处输入图片描述

请注意第二行应该有正常大小的括号。

相关内容