1: \begin{definition}

2:           The probability measure $\mu_{x+y}$ from Theorem~\ref{theorem:free-convolution} is called the \emph{free  convolution} of $\mu$ and $\nu$ and is denoted  by $\mu\boxplus \nu$.

3:         \end{definition}

4: