Gravar-mail: Symplectic geometry and positivity of pseudo-differential operators