symbol of a differential operator