Where here we use i ∈ ∈ v to denote the edges touching the vertex v , and i ∈ ∈ p to denote the edges surrounding the plaquette p . The stabilizer space of the code is that for which all stabilizers act trivially, hence for any state | ψ ψ ⟩ ⟩ in this space it holds that