1: \begin{definition}\label{def_metaplectic} A continuous automorphism $\mathcal{U}$ of the Schwartz space $\mathscr{S}'(\Bbb{R}^n)$ is a member of the metaplectic group \cite[Definition 1.4]{Leray_1981} if the conjugation $L \mapsto \mathcal{U}L\mathcal{U}^{-1}$ preserves the set

2: \[

3: 	\{\ell^w(x,D_x) \::\: \ell : \Bbb{R}^{2n}\to \Bbb{R}\textnormal{ is linear}\}

4: \]

5: and if the restriction of $\mathcal{U}$ to $L^2(\Bbb{R}^n)$ is unitary.

6: 

7: More concretely, $\mathcal{U}$ belongs to the metaplectic group if and only if it may be written as a composition of linear changes of variables, multiplication by imaginary Gaussians, and the Fourier transform in one variable.

8: 

9: In this case, there is a real linear canonical transformation $K$ associated with $\mathcal{U}$ for which

10: \begin{equation}\label{eq_metaplectic_Egorov}

11: 	\mathcal{U}a^w(x,D_x)\mathcal{U}^* = (a\circ K)^w(x,D_x), \quad \forall a \in \mathscr{S}'(\Bbb{R}^{2n}).

12: \end{equation}

13: This may be reversed \cite[Theorem 18.5.9]{Hormander_ALPDO_3}: for any real linear canonical transformation $K$ on $\Bbb{R}^{2n}$, there exists an element of the metaplectic group for which \eqref{eq_metaplectic_Egorov} holds, and this element is determined by $K$ uniquely up to a factor of modulus one.

14: \end{definition}

15: