Use proper notation for Gaussian CDF.