長二重逆含意記号きごう

$\Longleftarrow$ を 長二重逆含意記号 とよぶ。