TeX source:

P(X=(35, fair))