ring of quasisymmetric functions