TeX source:
\Pr(R\mid {\text{do}}(G=T))=\Pr(R)