Princeton Symphony Orchestra musicians and the PHS Choir will celebrate the season with holiday music and the annual carol sing-a-long on Dec. 13.