Abstract
In this note, we show that the Horn cone associated with symplectic eigenvalues admits the same inequalities as the classical Horn cone, except that the equality corresponding to Tr(C) = Tr(A)+Tr(B) is replaced by the inequality corresponding to Tr(C) ≥ Tr(A)+Tr(B).