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