Create CoverageProbability.tex