Utilizo el siguiente comando para componerE[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}
¿Es posible definir \Expaceptar un parámetro de tamaño opcional como \biggel de los corchetes?
Respuesta1
Dado que \midno tiene mucho sentido \Exp{A \mid B}(y no se puede escalar), sugiero ocultar el |interior de una macro especialmente diseñada que nos brinde una macro que admita condicionales, incluido el escalado.
\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}
Además, si no tienes la versión 2014 de mathtools, puedes usar esta
\DeclarePairedDelimiterX\AverX[1]{[}{]}{
\renewcommand\given{ \nonscript\:
\delimsize\vert
\nonscript\:
\mathopen{}
\allowbreak}
#1
}
\newcommand\Exp{\mathbb{E}\AverX}
Incluso podría considerar usar\operatorname{\mathbb{E}}
Hasta donde tengo entendido, \nonscript\:desaparece \:en el contexto de un guión. ya que \vertes unsímboloNo uncerca, \vert - Bno da el menosfirmarsino más bien unsumamenos (espaciado incorrecto). \mathopenhace que un potencial -se comporte como un signo en lugar de una adición. \allowbreaksolo permite saltos de línea después \given. Elimínelo si no es relevante (es decir, todos los condicionales son cortos).
