It also exponentiates the way you'd expect: "a"~"a"~"a" = "aaa" = "a"^3 And while it's not commutative, it is anticommutative with reverse: -"abc" = "cba

It also exponentiates the way you'd expect: "a"~"a"~"a" = "aaa" = "a"^3 And while it's not commutative, it is anticommutative with reverse: -"abc" = "cba" "ab"~"cd" = -(-"cd" ~ -"ab") \ = -("dc"~"ba") = -"dcba" = "abcd"