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