: vvxx \ x \ \ y \ xy \x