Heisenberg picture
In the Heisenberg picture, the dual map formula_70 is defined by