プリンキピア・マテマティカ
ペアノは1889年に出版した『算術の諸原理 (羅: Arithmetices Principia: Nova Methodo Exposita)』において、“ならば”をCを逆向きにした記号で表現した。ラッセルはペアノにならい、1910年から1913年に出版した『プリンキピア・マテマティカ』において、命題“A ならば B”を A ⊃ B と表現した。ゲンツェンはラッセルに従い、命題“A ならば B”を A ⊃ B と表現した。ハイティングは命題“A ならば B”を最初は A ⊃ B と表現したが、後になって右向き矢印で A → B と表現するようになった。