⟹
WML link
DoubleLongRightArrow[x, y, ...]
DoubleLongRightArrow[x, y, z]
a \[DoubleLongRightArrow] b