期待値演算子

Question

私はタイプセットに以下のコマンドを使用しますE[A|B]

\documentclass{article}
\usepackage{mathtools}

\DeclareMathOperator{\ExpOp}{E}
\DeclarePairedDelimiterX{\ExpArg}[1]{[}{]}{#1}
\newcommand{\Exp}{\ExpOp\ExpArg*}

\begin{document}
% usage:
$\Exp{A \mid B}$
\end{document}

括弧のように\Expオプションのサイズパラメータを受け入れるように定義することは可能ですか?\bigg

Answer 1

\mid読んでもあまり意味がないので\Exp{A \mid B}（拡大縮小もできない）、|特別に作成されたマクロの内部を隠し、拡大縮小を含む条件をサポートするマクロを作成することをお勧めします。

\documentclass[a4paper]{memoir}
% requires 2014 edition of mathtools
\usepackage{amsmath,amssymb,mathtools,bm,etoolbox}

\providecommand\given{}
\DeclarePairedDelimiterXPP\Aver[1]{\mathbb{E}}{[}{]}{}{
\renewcommand\given{  \nonscript\:
  \delimsize\vert
  \nonscript\:
  \mathopen{}
  \allowbreak}
#1
}


\begin{document}

\begin{align*}
  \Aver{A} 
  \\
  \Aver{A \given B }
  \\
  \Aver*{\frac{A^2}{B^2+1}}
  \\
  \Aver[\bigg]{\frac{A^2}{B^2+1} \given c }
\end{align*}

\end{document}

---

さらに、2014バージョンのmathtoolsをお持ちでない場合は、これを使用できます。

\DeclarePairedDelimiterX\AverX[1]{[}{]}{
\renewcommand\given{  \nonscript\:
  \delimsize\vert
  \nonscript\:
  \mathopen{}
  \allowbreak}
#1
}

\newcommand\Exp{\mathbb{E}\AverX}

私は使用を検討するかもしれません\operatorname{\mathbb{E}}

私の理解では、スクリプトコンテキストでは消えてしまいます\nonscript\:。\:\vertシンボルではないフェンス、\vert - Bマイナスを与えないサインむしろ追加マイナス（スペースが間違っています）。\mathopenポテンシャル-を加算ではなく符号として動作させます。\allowbreakの後に改行のみを許可します\given。 関係ない場合は削除します（つまり、すべての条件文が短い）。