3x + 1 semigroup (source code)

= 3x + 1 semigroup
{wiki=3x_+_1_semigroup}