left | H "|" + left ⟨ H \[u2223] H right ⟩ right ""