Como espaçar ordenadamente o sinal de igual ao usar probabilidades?

Question

Quando o sinal de igual é usado como parte da notação de probabilidade, parece um pouco estranho quando escrito em LaTeX, especialmente quando muitos sinais de igual ocorrem na mesma linha.

Por exemplo,

\[ \Pr(A=a) = \Pr(B=b \mid C=c) \]

O espaçamento entre o sinal de igual é o mesmo tanto para a relação 'igual a' quanto para aquelas entre a variável aleatória (A, B, C) e as constantes (a, b, c).

Existe uma maneira de tornar o espaçamento entre os últimos menor que o primeiro, ou estou apenas pensando demais nisso?

Answer 1

É simples definir uma macro como \newcommand\myeq{\mkern1.5mu{=}\mkern1.5mu}- escolha o argumento de \mkernacordo com suas preferências pessoais - e assim reescrever sua equação como

 \Pr(A\myeq a)  &= \Pr(B\myeq b \mid C\myeq c)

No TeXbook (p. 174, próximo ao final da página), porém, DEK sugerenãoreduzindo o espaço em branco ao redor dos =símbolos, mas, em vez disso, adicionandomais espaços em branco em outro lugarna equação completa por meio de \,diretivas criteriosamente colocadas:

 \[ \Pr(\, A=a \,) = \Pr(\, B=b \mid C=c \,) \]

Um MWE completo:

\documentclass{article}
\newcommand\myeq{\mkern1.5mu{=}\mkern1.5mu}
\usepackage{amsmath}
\begin{document}
\begin{align*}
\Pr(A=a)       &= \Pr(B=b \mid C=c) \\           % original form
\Pr(A\myeq a)  &= \Pr(B\myeq b \mid C\myeq c) \\ % less whitespace around "="
\Pr(\, A=a \,) &= \Pr(\, B=b \mid C=c \,)        % *more* whitespace
\end{align*}
\end{document}

Answer 2

Transformo o meu comentário numa resposta, pois considero que é uma solução adequada, em particular nesta situação, e é mais simples do que as outras abordagens. Também não encontro nenhuma falha em sua aparência visual. Também faz sentido para mim logicamente, uma vez que A=apode ser visto como um rótulo composto para um evento, não necessariamente como uma equação. Mesmo que seja uma equação, é muito pequena para ter os mesmos direitos que outras equações.

\documentclass{article}
\begin{document}
\[ \Pr(A{=}a) = \Pr(B{=}b \mid C{=}c) \]
\end{document}

Answer 3

Isso reduz pela metade o espaço ao redor do sinal de igual no argumento \Pr; também tem a vantagem de poder definir o tamanho dos delimitadores em um argumento opcional.

\documentclass{article}
\usepackage{mathtools}

\DeclarePairedDelimiterX\PrArg[1]{(}{)}{%
  \renewcommand\given{\Conditional{\delimsize}}%
  \begingroup\lccode`~=`= \lowercase{\endgroup\let~}\reducedequals
  \edef\equals{\mathchar\the\mathcode`= }%
  \mathcode`="8000
  #1%
}
\providecommand\given{}
\newcommand{\Conditional}[1]{%
  \nonscript\;#1\vert\nonscript\;\mathopen{}%
}
\renewcommand{\Pr}{\operatorname{Pr}\PrArg}
\newcommand{\reducedequals}{%
  \mskip-.5\thickmuskip
  \equals
  \mskip-.5\thickmuskip
  \nobreak
}

\begin{document}

$\Pr{A=a} = \Pr{B=b \given C=c}$

$\Pr[\big]{A=\frac{1}{2}} = \Pr[\Big]{B=b \given C=\sqrt{\frac{a^{2^n}}{b}}}$

\end{document}

Answer 4

\let\originalPr\Pr
\def\Pr(#1){\originalPr(\mathmakebox{\thickmuskip=.5\thickmuskip #1})}

Ajuste isso .5à vontade.