This is LaTeX code:
[latex]
:R(C) \rightarrow R(C)
[/latex]