  Building on the identification of the scaling limit of the critical
percolation exploration process as a Schramm-Loewner Evolution, we derive a PDE
characterization for the crossing probability of an annulus.
