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