⟺
WML link
DoubleLongLeftRightArrow[x, y, ...]
DoubleLongLeftRightArrow[x, y, z]
a \[DoubleLongLeftRightArrow] b