Author: Urs Format: MarkdownItexadded statement and pointer that, contrary to what the notation might suggest, we have an inclusion:
$$
Sp(2)
\;\coloneqq\;
U(2,\mathbb{H})
\;\subset\;
SL(2,\mathbb{H})
\,.
$$
<a href="https://ncatlab.org/nlab/revision/diff/SL%282%2CH%29/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/SL%282%2CH%29/2">v2</a>, <a href="https://ncatlab.org/nlab/show/SL%282%2CH%29">current</a>
added statement and pointer that, contrary to what the notation might suggest, we have an inclusion: