Symplectic ball (source code)

= Symplectic ball
{title2=$B^{2n}(r)$}

A symplectic ball is a Euclidean ball in $(\mathbb R^{2n},\omega_0)$, or its image under a <symplectic embedding>.