Solved it. A real RTFM moment.
The FAQ for CodeColorer makes a note about this (though it’s not mentioned in the main how-to text).
Using the escaped = "true"
code in the [cc]
tag brings back the behaviour I was looking for – now it’s possible to write the <-
operator in Visual (and it becomes <
in HTML), but the published post displays <-
correctly.
Thus, entering this in the visual editor:
[cc escaped="true"]
lorum <- ipsum
[/cc]
Produces, in the published post:
lorum <- ipsum