Back to the question I raised about the spacing of the colon. On page 34 in the Nemeth Code book is an example that is very similar to your expression. n : v → r
The braille shows this: [braille];n_3v $o r
They didn't leave a space on either side of that colon that looks to be standing alone in print.