Text this: Generalized hypersubstitutions of many-sorted algebras

  ____     _    _     ______   __   __    ______  
 |  _ \\  | || | ||  /_   _//  \ \\/ //  /_   _// 
 | |_| || | || | ||    | ||     \ ` //     | ||   
 | .  //  | \\_/ ||   _| ||      | ||     _| ||   
 |_|\_\\   \____//   /__//       |_||    /__//    
 `-` --`    `---`    `--`        `-`'    `--`