  A celebrated result of Koecher and Vinberg asserts the one-one correspondence
between the finite dimensional formally real Jordan algebras and Euclidean
symmetric cones. We extend this result to the infinite dimensional setting.
