Text this: Complementary Lagrangians in infinite dimensional symplectic Hilbert spaces