int sup 1 + {x over y} sup a + {x over y} sup 1 + int sup a + int sup a