etc/symbols

 \<longlongleftarrow>    code: 0x00290e  group: arrow  abbrev: <.
 \<longlonglongleftarrow> code: 0x0021e0 group: arrow  abbrev: <.
 \<rightarrow>           code: 0x002192  group: arrow  abbrev: .>  abbrev: ->
 \<longrightarrow>       code: 0x0027f6  group: arrow  abbrev: .>  abbrev: -->
 \<longlongrightarrow>   code: 0x00290f  group: arrow  abbrev: .>  abbrev: --->
-\<longlonglongrightarrow> code: 0x0021e2 group: arrow abbrev: .>  abbrev: ---->
+\<longlonglongrightarrow> code: 0x0021e2 group: arrow abbrev: .>  abbrev: --->
 \<Leftarrow>            code: 0x0021d0  group: arrow  abbrev: <.
 \<Longleftarrow>        code: 0x0027f8  group: arrow  abbrev: <.
 \<Lleftarrow>           code: 0x0021da  group: arrow  abbrev: <.
 \<Rightarrow>           code: 0x0021d2  group: arrow  abbrev: .>  abbrev: =>
 \<Longrightarrow>       code: 0x0027f9  group: arrow  abbrev: .>  abbrev: ==>