P
Initializing...
The displayed operators satisfy the bracket relations of $\mathfrak{sp}_{2\ell}$ · Prove2Me