기대 연산자

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. 관련이 없으면 제거하십시오(즉, 모든 조건문이 짧습니다).