Principal symbol
Redirect to:
Differential operator