Jack lists all of the unique random samples of a certain sample size from a population. He then calculates the mean for each of these unique random samples. Finally, he calculates a standard deviation of all the sample means. What is the correct notation and name for this standard deviation?