Email Record: Self-adjoint operators