TeX source:
P(T)=6 / 28