I tried backslashes, -pre- and -code- tags, but had to resort to adding a space to make your closing repeat sign work.

Thanks for the comment!