Weyl's symbols of Heisenberg operators of canonical coordinates and momenta as quantum characteristics

The knowledge of quantum phase flow induced under Weyl's association rule by the evolution of Heisenberg operators of canonical coordinates and momenta allows to find the evolution of symbols of generic Heisenberg operators. The quantum phase flow curves obey the quantum Hamilton equations and play the role of characteristics. At any fixed level of accuracy of semiclassical expansion, quantum characteristics can be constructed by solving a coupled system of first-order ordinary differential equations for quantum trajectories and generalized Jacobi fields. Classical and quantum constraint systems are discussed. The phase-space analytic geometry based on the star-product operation can hardly be visualized. The statement 'quantum trajectory belongs to a constraint submanifold' can be changed, e.g., to the opposite by a unitary transformation. Some of the relations among quantum objects in phase space are, however, left invariant by unitary transformations and support partly geometric relations of belonging and intersection. Quantum phase flow satisfies the star-composition law and preserves Hamiltonian and constraint star functions