Оператор ожидания

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}

---

Кроме того, если у вас нет версии mathtools 2014 года, вы можете использовать это

\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. Удалите, если не имеет значения (т. е. все условные предложения короткие).