我想做类似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的图片：
答案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}
请注意第二行应该有正常大小的括号。