TeX source:
\Pr\{x\}