\leadsto
\Box
\Join
\lhd
\Diamond