adiabatic decoupling, Dirac equation, Born-Oppenheimer approximation, 
operator-valued symbols, Egorov theorem