The names of the days of the week, e.g., for use as a calendar header