Rename <_>--/--<_> to <->--/--<->; release 0.23.2