:: [char] -> [char] -> [char] package:base-unicode-symbols

(⧺) = (++) U+29FA, DOUBLE PLUS