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

\(\cup \Leftrightarrow \cup\) doesn't exist.