How does one replace unicode in spacemacs?

Question

I use spacemacs for agda, which, via the unicode capabilities, allows one to directly program with unicode. However, one cannot replace the unicode using traditional vim operat