Logical equality: Difference between revisions

Content deleted Content added
Reverted 1 edit by Miaumee (talk): Per User talk:Miaumee, this is apparently the preferred response to poor editing
mNo edit summary
Line 23:
 
:<math>\begin{align}
x &\leftrightarrow y & x &\Leftrightarrow y & \mathrm Exy \\
x &\mathrm{~EQ~} y & x &= y
\end{align}</math><!-- should be "\mathrel{\mathrm{EQ}}", but it is broken [https://phabricator.wikimedia.org/T148304] -->