s/→/$\\rightarrow{}$/g
s/->/$\\rightarrow{}$/g