メモ：矢印の用法

p が真で p → q が真であるとき, p は q を導く（ p は q を含意する）といい p ⇒ q とかく
公式集 p.322 isbn:4894281635

とある。公式集では微妙に使い分けているっぽい。