“…β(s, t) = {z + J ⊞ A(s, t)z : z ∈ β(0, 0)} , where J ⊞ (x, φ, y, ψ) = (R −1 φ, −Rx, −R −1 ψ, Ry)andR : H 1/2 (Σ) → H −1/2 (Σ) ∼ = (H 1/2 (Σ)) *is the Riesz duality isomorphism (cf. equation(17) in[10]). It suffices to choose A(s, t)(x, 0, 0, ψ) = − R −1 (tψ + sJ x), 0, 0, tRx , which is selfadjoint because the composition R −1 • J :H 1/2 (Σ) → H 1/2 (Σ) is selfadjoint.To prove the selfadjointness of R −1 • J we use the identity R −1 = R * to computeR −1 J f, g H 1/2 (Σ) = J f, Rg H −1/2 (Σ) = (J f )g = Σ f g for any f, g ∈ H 1/2 (Σ),where (J f )g denotes the action of the functional J f ∈ H −1/2 (Σ) on g ∈ H 1/2 (Σ).…”