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