Erm yes I know that.. But it's a little confusing when one sign should/can be used instead of the other.. Can someone clarify?
On Monday, June 5, 2023 at 9:18:51 AM UTC+8 [email protected] wrote: > '=' stands for class equality: https://us.metamath.org/mpeuni/wceq.html > (e.g. equality of numbers) > > '↔' stands for the logical biconditional: > https://us.metamath.org/mpeuni/wb.html (i.e. equality of truth values) > ------------------------------ > *Von:* [email protected] <[email protected]> im Auftrag von > Humanities Clinic <[email protected]> > *Gesendet:* Sonntag, 4. Juni 2023 18:38:45 > *An:* Metamath > *Betreff:* [Metamath] In a definition in set.mm, what is the difference > between the equals sign and the bidirectional? > > In a definition in set.mm, what is the difference between the equals sign > and the bidirectional? > (Apologies, if this is a basic question..) > > -- > You received this message because you are subscribed to the Google Groups > "Metamath" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/metamath/0ad5b342-5254-49d7-9fca-65b71a0101b4n%40googlegroups.com > > <https://groups.google.com/d/msgid/metamath/0ad5b342-5254-49d7-9fca-65b71a0101b4n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/bf8cce0f-3b90-40c7-ae72-c35a61424c0an%40googlegroups.com.
