Williamson’s theorem on the symplectic eigenvalues of symmetric posi- tive definite matrices is interpreted in terms of special operators of the real symplectic space and their spectra. A relation connecting the conventional and symplectic eigenvalues of a given matrix is derived.
