Как аккуратно расставить знак равенства при использовании вероятностей?

Question

Когда знак равенства используется как часть обозначения вероятности, он выглядит немного странно при наборе в LaTeX, особенно когда в одной строке встречается много знаков равенства.

Например,

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

Расстояние между знаками равенства одинаково как для отношения «равно», так и для отношения между случайной величиной (A, B, C) и константами (a, b, c).

Есть ли способ сделать расстояние между последними меньше, чем между первыми, или я просто слишком много думаю об этом?

Answer 1

Определить макрос, например, можно просто \newcommand\myeq{\mkern1.5mu{=}\mkern1.5mu}— выберите аргумент в \mkernсоответствии с вашими личными предпочтениями — и, таким образом, переписать уравнение как

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

Однако в TeXbook (стр. 174, ближе к концу страницы) DEK предлагаетнетуменьшение пробелов вокруг =символов, но вместо этого добавлениебольше пробелов в других местахв полном уравнении посредством разумно размещенных \,директив:

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

Полная версия MWE:

\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

Я превращаю свой комментарий в ответ, поскольку считаю его адекватным решением, особенно в этой ситуации, и он проще других подходов. Я также не нахожу изъянов в его визуальном виде. Он также имеет для меня логический смысл, поскольку A=aможет рассматриваться как составная метка для события, не обязательно как уравнение. Даже если это уравнение, оно слишком маленькое, чтобы получить те же права, что и другие уравнения.

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

Answer 3

Это вдвое сокращает пространство вокруг знака равенства в аргументе \Pr; также имеет то преимущество, что позволяет задать размер разделителей в необязательном аргументе.

\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})}

Изменяйте это .5по своему усмотрению.