Still, these canonical commutation relations can be rendered somewhat "tamer" by writing them in terms of the (bounded) unitary operators exp ⁡ ⁡ ( i t x ^ ^ ) and exp ⁡ ⁡ ( i s p ^ ^ ) . The resulting braiding relations for these operators are the so-called Weyl relations exp ⁡ ⁡ ( i t x ^ ^ ) exp ⁡ ⁡ ( i s p ^ ^ ) = exp ⁡ ⁡ ( − − i s t / ℏ ℏ ) exp ⁡ ⁡ ( i s p ^ ^ ) exp ⁡ ⁡ ( i t x ^ ^ ) . These relations may be thought of as an exponentiated version of the canonical commutation relations; they reflect that translations in position and translations in momentum do not commute. One can easily reformulate the Weyl relations in terms of the representations of the Heisenberg group.