\[\operatorname{erfc}z=\frac{2}{\sqrt{\pi}}\int_{z}^{\infty}e^{-t^{2}}\,\mathrm{%
d}t=1-\operatorname{erf}z,\]