含意記号きごう

$\to$ を 含意記号 とよぶ。