矢印記号の使用法と読み方 2024 - 檜山正幸のキマイラ飼育記 (はてなBlog)

矢印記号の使い方が、分野やコミュニティごとにバランバランで困ったー、という話題は、大昔から何度も繰り返しています。 さまざまな「ならば」達 (2006年) 論理記号のいろいろ (2006年) 論理：証明可能性と普遍妥当性 (2009年) 型推論に関わる論理の概念と用語 その1 (2012年) 論理におけるさまざまな「矢印」達 (2016年) 論理／メタ論理の記法をどうするか (2018年) 論理／メタ論理の記法をどうするか 2: 悟りへの道 (2018年) 互換な演繹システムとシーケント、そして矢印記号 (2020年) コンテキスト、判断、指標、シーケントなどのゴチャゴチャを整理 (2022年) 矢印の混乱に対処する： デカルト閉圏のための記法 (2023年) 矢印のオーバーロードがひどい件： 所感 (2023年) 2024年5月末時点では、次が良かろうと思っています。主に型理論で使う場合