Elliptic differential operator

This article defines a property that can be evaluated for a differential operator on a differential manifold (viz a linear map from the space of differentiable functions to itself)

Definition

Let $M$ be a differential manifold and $F$ a differential operator on $M$. We say that $F$ is elliptic if Fill this in later