Text this: Factorisable monoid of generalized hypersubstitutions of type<inf>T</inf> = (n)

   _____    _____     _____    __   __    ____    
  / ___//  |  ___||  / ____||  \ \\/ //  |  _ \\  
  \___ \\  | ||__   / //---`'   \ ` //   | |_| || 
  /    //  | ||__   \ \\___      | ||    | .  //  
 /____//   |_____||  \_____||    |_||    |_|\_\\  
`-----`    `-----`    `----`     `-`'    `-` --`