Page "Self-adjoint operator#Definitions" not found :(