├の読み方

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

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