├の読み方

「├ 読み方 数学」とかいうアホっぽいクエリを投げてしまった。

シークエント - Wikipedia

一番悲しくなったのは、この記号が出現した数行下にキチンと解説してあったこと。さすが型システム入門、素晴らしい入門書だ。