"$DR\\ell$-monoid" . "$DR\\ell$-monoid" . . .