Symbol for population variance