1: \begin{definition}

2: 	Let $A\in\text{GL}\left(2d,\mathbb{R}\right)$ and $\sigma\in M^{\infty}\left(\mathbb{R}^{2d}\right)$.

3: 	The mapping defined in Theorem \ref{DBthm:def psdoA}, namely 

4: 	\[

5: 	\sigma^{A}:M^1(\DBrd)\ni f\mapsto\sigma^{A}f\in M^{\infty}(\DBrd):\left\langle \sigma^{A}f,g\right\rangle =\left\langle \sigma,\mathcal{B}_{A}\left(g,f\right)\right\rangle, \quad\forall g\in M^1(\DBrd),

6: 	\]

7: 	is called quantization rule with symbol $\sigma$ associated with

8: 	the matrix-Wigner distribution $\mathcal{B}_{A}$or pseudodifferential

9: 	operator with symbol $\sigma$ associated with the matrix-Wigner distribution

10: 	$\mathcal{B}_{A}$.

11: \end{definition}