TeX source:

P(X=3, Y=HEAD)