⇔
WML link
DoubleLeftRightArrow[x, y, ...]
DoubleLeftRightArrow[x, y, z]
a \[DoubleLeftRightArrow] b