Text this: Self-adjoint operators in the Smolyanov–Shamarov space.