Text this: Control-target inversion property on Abelian groups

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