TeX source:
P(A\mid X=x)