w ⩓ x //\\ y ⩓ z