Someone pointed out that ^~ should generate the same as ^^, for