TeXの記憶(77) — 長い\longrightarrow

\rightarrowを長くしたのが\longrightarrowですが、もっと長いものが必要になりました。名前を\longlongrightarrowとして作ったら、もっと長いものも必要になったので強引に作りましたが、固定して作るよりも長さが可変なバージョンを作るほうがいいかもしれません。でも、よくあることですが以後使ったことがないのでそのままです。

\DeclareRobustCommand\longlongrightarrow{%
  \relbar\kern-1.2mm\relbar\kern-1mm\joinrel\relbar\joinrel\rightarrow}

\DeclareRobustCommand\longlonglongrightarrow{%
  \relbar\kern-1.2mm\joinrel
  \relbar\kern-1.2mm\joinrel
  \relbar\kern-1.2mm\joinrel
  \relbar\kern-1.2mm\joinrel
  \relbar\kern-1.2mm\joinrel
  \relbar\kern-1.1mm\joinrel
  \relbar\kern-1.1mm\joinrel
  \relbar\kern-1.1mm\joinrel
  \relbar\kern-1.1mm\joinrel
  \relbar\kern-1.1mm\joinrel
  \joinrel\rightarrow}