X :: Y ⵉ