長二重同値記号きごう

$\Longleftrightarrow$ を 長二重同値記号 とよぶ。