  In this note we present a symbolic pseudo-differential calculus on graded
nilpotent Lie groups and, as an application, a version of the sharp Garding
inequality. As a corollary, we obtain lower bounds for positive Rockland
operators with variable coefficients as well as their Schwartz-hypoellipticity.
