a38e4758957c26dd.tex
1: \begin{definition}\label{doubleextensionFAS}
2: The Lie algebra $(\mathfrak{g},\omega,\cdot)$ obtained in Theorem \ref{F15} is called \emph{the double extension} of the flat affine symplectic Lie algebra $(B,\omega',\overline{\cdot})$ according to $(u,D,x_0,z_0,\beta,\lambda,\mu)$.
3: \end{definition}