Vertices labeled by Hu1⊘u2 , adjusting the port labels are adjusted accordingly.