Algebraically, S ~ ~ 2 is the infinite dihedral group, generated by two generators s 0 , s 1 subject to the relations s 0 2 = s 1 2 = 1 . Every other element of the group can be written as an alternating product of copies of s 0 and s 1 .