This is performed by wptexturize()
. Unfortunately it saves replacement lists as static variables which you can’t modify.
So your options are:
- Remove
wptexturize
filter from related hook (depends on where you have that replacement done). - Write and add your own filter that will replace converted symbol back.