Circle Jot (โŒพ)

April 28, 2022 ยท View on GitHub

View this file with results and syntax highlighting here.

Circle Jot (โŒพ)

๐”ฝโŒพ๐”พ ๐•ฉ, ๐•จ ๐”ฝโŒพ๐”พ ๐•ฉ: Under

โ†’full documentation

  • Apply transformation ๐”พ to all arguments
  • Apply ๐”ฝ to the transformed arguments
  • Undo transformation ๐”พ

Where ๐”พ must be

  • A function invertible by โผ (Undo)

  • A structural modification

      9โŒพ(1โŠธโŠ‘) 1โ€ฟ2โ€ฟ3
    
      โˆšโผ (โˆš1) + (โˆš9)
    
      1 +โŒพโˆš 9