From that follows for states: R ⁡ ⁡ ( z , d t ) | r ⟩ ⟩ = R ⁡ ⁡ ( z , d t ) | x , y , z ⟩ ⟩ = | x − − y d t , y + x d t , z ⟩ ⟩ = T x ⁡ ⁡ ( − − y d t ) T y ⁡ ⁡ ( x d t ) | x , y , z ⟩ ⟩ = T x ⁡ ⁡ ( − − y d t ) T y ⁡ ⁡ ( x d t ) | r ⟩ ⟩