: x ♦£ y / X X X X X XX