User blog comment:Boboris02/MBOT/@comment-30004975-20161219055116/@comment-30118230-20161220172716

Yes,formaly.But asking "what is \(\cup \Leftrightarrow \cup\)?" is like asking "What is +*^-/ ?".