Input (grade 9): For abelian groups or groups written additively, the notation used changes to g + H and H + g respectively.
Output (grade 7): Right coset: Hx is the set H with every element h of H multiplied by x on the right.