Author: John Baez Format: MarkdownItexClarified that 'quaternionic unitary group' is a synonym for 'compact symplectic group'.
<a href="https://ncatlab.org/nlab/revision/diff/compact+symplectic+group/6">diff</a>, <a href="https://ncatlab.org/nlab/revision/compact+symplectic+group/6">v6</a>, <a href="https://ncatlab.org/nlab/show/compact+symplectic+group">current</a>
Clarified that ’quaternionic unitary group’ is a synonym for ’compact symplectic group’.