Seeing the notation for a confidence interval with a known standard deviation.