二重同値記号きごう

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