P
Initializing...
The global-frame coordinates of $\xi$ are symplectic · Prove2Me