View text source at Wikipedia

Free semigroup