<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">
<p style="margin-top:0;margin-bottom:0">The thing is that you can have several different definitions, all equivalent. Consider the definition "a matrix A \in \mathbb R^{n \times n} is invertiable iff A have a multiplicative inverse"<span style="font-size: 12pt;">.
It turns out that this is </span>equivalent<span style="font-size: 12pt;"> to a lot of things, among det(A) !=0, A having full rang, A having n linear
</span>independent<span style="font-size: 12pt;"> eigenvectors, Ax=0 only having the trivial solution, Ax=b having a solution (which is unique) for every right-hand-side b, etc.</span></p>
<p style="margin-top:0;margin-bottom:0"><span style="font-size: 12pt;"><br>
</span></p>
<p style="margin-top:0;margin-bottom:0"><span style="font-size: 12pt;">In these cases it doesn't make much sense to use "if" and lose the importance that all these other statements, which could be taken as definitions. are <span style="font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 16px;">equivalent.
An other example: consider what it means for a complex to be holomorphic. It turns out that holomorphic and analytical is the same for complex functions, but it's not the same on R. You can have a real smooth non-analytical function, so clearly one should
be careful to treat those concepts as the same. Which is why you keep "iff" in the definition of holomorphicy, not fooling students that entire and analytical functions are the same.</span></span></p>
<p style="margin-top:0;margin-bottom:0"><span style="font-size: 12pt;"><br>
</span></p>
<div style="color: rgb(0, 0, 0);">
<hr style="display:inline-block;width:98%" tabindex="-1">
<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" style="font-size:11pt" color="#000000"><b>Frĺn:</b> MacOSX-TeX <macosx-tex-bounces@email.esm.psu.edu> för Josep Maria Font <jmfont@ub.edu><br>
<b>Skickat:</b> den 21 augusti 2018 13:12<br>
<b>Till:</b> TeX on Mac OS X Mailing List<br>
<b>Ämne:</b> Re: [OS X TeX] Latex symbol for "define equal"</font>
<div> </div>
</div>
<meta content="text/html; charset=utf-8">
<div class="" style="word-wrap:break-word; line-break:after-white-space">
<div class="">If the context does not make it clear whether you are reading a theorem or a definition, something is wrong with this book !</div>
<div class=""><br class="">
</div>
Normally the reader is reading a statement marked as "Definition", or one marked as "Theorem" (Lemma, Proposition, etc.). And in the Preliminaries you can explain your usage of "when" in definitions as meaning "if and only if".
<div class=""><br class="">
</div>
<div class="">In this way you keep the "if" family, including "if and only if", for real mathematical statements, that is, statements which you can (in theory) check whether they are true or false; notice that one of the main differences between a definition
and a theorem is that it does not make sense to say that a definition is true or false!</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">JMaF<br class="">
<div class=""><br class="">
<div><br class="">
<blockquote type="cite" class="">
<div class="">El 21 /08/18, a les 13:02, Markus Klyver <<a href="mailto:markusklyver@hotmail.com" class="OWAAutoLink" id="LPlnk227159" previewremoved="true">markusklyver@hotmail.com</a>> va escriure:</div>
<br class="x_Apple-interchange-newline">
<div class="">
<div id="x_divtagdefaultwrapper" dir="ltr" class="" style="font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; font-size:12pt; font-family:Calibri,Helvetica,sans-serif">
<div class="" style="margin-top:0px; margin-bottom:0px">But how would the reader know if it's a theorem or a definition? Consider the statement "f(x)=1 when x=2". Do we mean f(x)=1 <---> x=2 or just f(x)=1 <--- x=2?</div>
<br class="">
<br class="">
<div class="" style="">
<hr tabindex="-1" class="" style="display:inline-block; width:964.3125px">
<div id="x_divRplyFwdMsg" dir="ltr" class=""><font face="Calibri, sans-serif" class="" style="font-size:11pt"><b class="">Frĺn:</b><span class="x_Apple-converted-space"> </span>MacOSX-TeX <<a href="mailto:macosx-tex-bounces@email.esm.psu.edu" class="OWAAutoLink" id="LPlnk904427" previewremoved="true">macosx-tex-bounces@email.esm.psu.edu</a>>
för Josep Maria Font <<a href="mailto:jmfont@ub.edu" class="OWAAutoLink" id="LPlnk507211" previewremoved="true">jmfont@ub.edu</a>><br class="">
<b class="">Skickat:</b><span class="x_Apple-converted-space"> </span>den 21 augusti 2018 12:15<br class="">
<b class="">Till:</b><span class="x_Apple-converted-space"> </span>TeX on Mac OS X Mailing List<br class="">
<b class="">Ämne:</b><span class="x_Apple-converted-space"> </span>Re: [OS X TeX] Latex symbol for "define equal"</font>
<div class=""> </div>
</div>
<div class="x_BodyFragment"><font size="2" class=""><span class="" style="font-size:11pt">
<div class="x_PlainText">That's why I prefer to use "when" for definitions: [...this NEW thing happens...] WHEN [...such-and-such known, understandable condition holds...].<br class="">
<br class="">
<br class="">
JMaF<br class="">
<br class="">
<br class="">
> El 21 /08/18, a les 5:40, juan tolosa <<a href="mailto:juantolo@me.com" class="OWAAutoLink" id="LPlnk299296" previewremoved="true">juantolo@me.com</a>> va escriure:<br class="">
><br class="">
> This is tangential but, since we are at it, what really, really annoys me, is the tendency in some books to define concepts using “if and only if” instead of plain “if”, as in<br class="">
><br class="">
> Definition. A sequence (a_n) converges to a real number p if and only if for every epsilon > 0 there is an N such that (etc.)<br class="">
><br class="">
> (Is it my impression, or there is a growing number of such texts? And when did this nonsense begin?)<br class="">
><br class="">
> One could simply agree that the “if” in definitions is not the same as the “if” in logical statements.<br class="">
> If one is really fastidious, one could put a statement at the beginning of the book that “if” in definitions can be reworded as, say,<br class="">
> by “(a_n) converges to p” we mean … (etc)<br class="">
> Or simply not use “if” at all in definitions.<br class="">
> What is even more annoying is that when the definition gets really involved, the “if and only if” makes it even worse.<br class="">
> And, invariably, in a really involved definition you will find that the author(s) abandon their own fastidiousness and just use “if.”<br class="">
> Question is, why not do it from the very beginning?<br class="">
><br class="">
> Juan<br class="">
><br class="">
>> On Aug 20, 2018, at 7:56 PM, Markus Klyver <<a href="mailto:markusklyver@hotmail.com" class="OWAAutoLink" id="LPlnk513075" previewremoved="true">markusklyver@hotmail.com</a>> wrote:<br class="">
>><br class="">
>> Really, there's no standardized notation for it. Just be consistent and use the most aesthetically pleasing and practical notation on your context. Maybe := looks ugly will your fonts. Use an other notation instead.<br class="">
>> ----------- Please Consult the Following Before Posting -----------<br class="">
>> TeX FAQ:<span class="x_Apple-converted-space"> </span><a href="http://www.tex.ac.uk/faq" id="LPlnk301481" class="x_OWAAutoLink" previewremoved="true">http://www.tex.ac.uk/faq</a><br class="">
>> List Reminders and Etiquette:<span class="x_Apple-converted-space"> </span><a href="https://sites.esm.psu.edu/~gray/tex/" id="LPlnk504417" class="x_OWAAutoLink" previewremoved="true">https://sites.esm.psu.edu/~gray/tex/</a><br class="">
>> List Archives:<span class="x_Apple-converted-space"> </span><a href="http://dir.gmane.org/gmane.comp.tex.macosx" id="LPlnk332764" class="x_OWAAutoLink" previewremoved="true">http://dir.gmane.org/gmane.comp.tex.macosx</a><br class="">
>> <span class="x_Apple-converted-space"> </span><a href="https://email.esm.psu.edu/pipermail/macosx-tex/" id="LPlnk682699" class="x_OWAAutoLink" previewremoved="true">https://email.esm.psu.edu/pipermail/macosx-tex/</a><br class="">
>> TeX on Mac OS X Website:<span class="x_Apple-converted-space"> </span><a href="http://mactex-wiki.tug.org/" id="LPlnk801553" class="x_OWAAutoLink" previewremoved="true">http://mactex-wiki.tug.org/</a><br class="">
>> List Info:<span class="x_Apple-converted-space"> </span><a href="https://email.esm.psu.edu/mailman/listinfo/macosx-tex" id="LPlnk520383" class="x_OWAAutoLink" previewremoved="true">https://email.esm.psu.edu/mailman/listinfo/macosx-tex</a><br class="">
><br class="">
> ----------- Please Consult the Following Before Posting -----------<br class="">
> TeX FAQ:<span class="x_Apple-converted-space"> </span><a href="http://www.tex.ac.uk/faq" id="LPlnk823139" class="x_OWAAutoLink" previewremoved="true">http://www.tex.ac.uk/faq</a><br class="">
> List Reminders and Etiquette:<span class="x_Apple-converted-space"> </span><a href="https://sites.esm.psu.edu/~gray/tex/" id="LPlnk544510" class="x_OWAAutoLink" previewremoved="true">https://sites.esm.psu.edu/~gray/tex/</a><br class="">
> List Archives:<span class="x_Apple-converted-space"> </span><a href="http://dir.gmane.org/gmane.comp.tex.macosx" id="LPlnk80374" class="x_OWAAutoLink" previewremoved="true">http://dir.gmane.org/gmane.comp.tex.macosx</a><br class="">
> <span class="x_Apple-converted-space"> </span><a href="https://email.esm.psu.edu/pipermail/macosx-tex/" id="LPlnk224839" class="x_OWAAutoLink" previewremoved="true">https://email.esm.psu.edu/pipermail/macosx-tex/</a><br class="">
> TeX on Mac OS X Website:<span class="x_Apple-converted-space"> </span><a href="http://mactex-wiki.tug.org/" id="LPlnk393308" class="x_OWAAutoLink" previewremoved="true">http://mactex-wiki.tug.org/</a><br class="">
> List Info:<span class="x_Apple-converted-space"> </span><a href="https://email.esm.psu.edu/mailman/listinfo/macosx-tex" id="LPlnk741348" class="x_OWAAutoLink" previewremoved="true">https://email.esm.psu.edu/mailman/listinfo/macosx-tex</a><br class="">
<br class="">
<br class="">
<br class="">
Aquest missatge, i els fitxers adjunts que hi pugui haver, pot contenir informació confidencial o protegida legalment i s’adreça exclusivament a la persona o entitat destinatŕria. Si no consteu com a destinatari final o no teniu l’encŕrrec de rebre’l, no esteu
autoritzat a llegir-lo, retenir-lo, modificar-lo, distribuir-lo, copiar-lo ni a revelar-ne el contingut. Si l’heu rebut per error, informeu-ne el remitent i elimineu del sistema tant el missatge com els fitxers adjunts que hi pugui haver.<br class="">
<br class="">
Este mensaje, y los ficheros adjuntos que pueda incluir, puede contener información confidencial o legalmente protegida y está exclusivamente dirigido a la persona o entidad destinataria. Si usted no consta como destinatario final ni es la persona encargada
de recibirlo, no está autorizado a leerlo, retenerlo, modificarlo, distribuirlo o copiarlo, ni a revelar su contenido. Si lo ha recibido por error, informe de ello al remitente y elimine del sistema tanto el mensaje como los ficheros adjuntos que pueda contener.<br class="">
<br class="">
This email message and any attachments it carries may contain confidential or legally protected material and are intended solely for the individual or organization to whom they are addressed. If you are not the intended recipient of this message or the person
responsible for processing it, then you are not authorized to read, save, modify, send, copy or disclose any part of it. If you have received the message by mistake, please inform the sender of this and eliminate the message and any attachments it carries
from your account.<br class="">
----------- Please Consult the Following Before Posting -----------<br class="">
TeX FAQ:<span class="x_Apple-converted-space"> </span><a href="http://www.tex.ac.uk/faq" id="LPlnk41254" class="x_OWAAutoLink" previewremoved="true">http://www.tex.ac.uk/faq</a><br class="">
List Reminders and Etiquette:<span class="x_Apple-converted-space"> </span><a href="https://sites.esm.psu.edu/~gray/tex/" id="LPlnk198802" class="x_OWAAutoLink" previewremoved="true">https://sites.esm.psu.edu/~gray/tex/</a><br class="">
List Archives:<span class="x_Apple-converted-space"> </span><a href="http://dir.gmane.org/gmane.comp.tex.macosx" id="LPlnk252655" class="x_OWAAutoLink" previewremoved="true">http://dir.gmane.org/gmane.comp.tex.macosx</a><br class="">
<span class="x_Apple-converted-space"> </span><a href="https://email.esm.psu.edu/pipermail/macosx-tex/" id="LPlnk219293" class="x_OWAAutoLink" previewremoved="true">https://email.esm.psu.edu/pipermail/macosx-tex/</a><br class="">
TeX on Mac OS X Website:<span class="x_Apple-converted-space"> </span><a href="http://mactex-wiki.tug.org/" id="LPlnk923819" class="x_OWAAutoLink" previewremoved="true">http://mactex-wiki.tug.org/</a><br class="">
List Info:<span class="x_Apple-converted-space"> </span><a href="https://email.esm.psu.edu/mailman/listinfo/macosx-tex" id="LPlnk151295" class="x_OWAAutoLink" previewremoved="true">https://email.esm.psu.edu/mailman/listinfo/macosx-tex</a><br class="">
</div>
</span></font></div>
</div>
</div>
<span class="" style="font-family:Monaco; font-size:13px; font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; float:none; display:inline!important">-----------
Please Consult the Following Before Posting -----------</span><br class="" style="font-family:Monaco; font-size:13px; font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none">
<span class="" style="font-family:Monaco; font-size:13px; font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; float:none; display:inline!important">TeX
FAQ:<span class="x_Apple-converted-space"> </span></span><a href="http://www.tex.ac.uk/faq" class="OWAAutoLink" style="font-family:Monaco; font-size:13px; font-style:normal; font-weight:normal; letter-spacing:normal; orphans:auto; text-align:start; text-indent:0px; text-transform:none; white-space:normal; widows:auto; word-spacing:0px" id="LPlnk660560" previewremoved="true">http://www.tex.ac.uk/faq</a><br class="" style="font-family:Monaco; font-size:13px; font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none">
<span class="" style="font-family:Monaco; font-size:13px; font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; float:none; display:inline!important">List
Reminders and Etiquette:<span class="x_Apple-converted-space"> </span></span><a href="https://sites.esm.psu.edu/~gray/tex/" class="OWAAutoLink" style="font-family:Monaco; font-size:13px; font-style:normal; font-weight:normal; letter-spacing:normal; orphans:auto; text-align:start; text-indent:0px; text-transform:none; white-space:normal; widows:auto; word-spacing:0px" id="LPlnk622820" previewremoved="true">https://sites.esm.psu.edu/~gray/tex/</a><br class="" style="font-family:Monaco; font-size:13px; font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none">
<span class="" style="font-family:Monaco; font-size:13px; font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; float:none; display:inline!important">List
Archives:<span class="x_Apple-converted-space"> </span></span><a href="http://dir.gmane.org/gmane.comp.tex.macosx" class="OWAAutoLink" style="font-family:Monaco; font-size:13px; font-style:normal; font-weight:normal; letter-spacing:normal; orphans:auto; text-align:start; text-indent:0px; text-transform:none; white-space:normal; widows:auto; word-spacing:0px" id="LPlnk60319" previewremoved="true">http://dir.gmane.org/gmane.comp.tex.macosx</a><br class="" style="font-family:Monaco; font-size:13px; font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none">
<span class="" style="font-family:Monaco; font-size:13px; font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; float:none; display:inline!important"> </span><a href="https://email.esm.psu.edu/pipermail/macosx-tex/" class="OWAAutoLink" style="font-family:Monaco; font-size:13px; font-style:normal; font-weight:normal; letter-spacing:normal; orphans:auto; text-align:start; text-indent:0px; text-transform:none; white-space:normal; widows:auto; word-spacing:0px" id="LPlnk170606" previewremoved="true">https://email.esm.psu.edu/pipermail/macosx-tex/</a><br class="" style="font-family:Monaco; font-size:13px; font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none">
<span class="" style="font-family:Monaco; font-size:13px; font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; float:none; display:inline!important">TeX
on Mac OS X Website:<span class="x_Apple-converted-space"> </span></span><a href="http://mactex-wiki.tug.org/" class="OWAAutoLink" style="font-family:Monaco; font-size:13px; font-style:normal; font-weight:normal; letter-spacing:normal; orphans:auto; text-align:start; text-indent:0px; text-transform:none; white-space:normal; widows:auto; word-spacing:0px" id="LPlnk431454" previewremoved="true">http://mactex-wiki.tug.org/</a><br class="" style="font-family:Monaco; font-size:13px; font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none">
<span class="" style="font-family:Monaco; font-size:13px; font-style:normal; font-weight:normal; letter-spacing:normal; text-align:start; text-indent:0px; text-transform:none; white-space:normal; word-spacing:0px; text-decoration:none; float:none; display:inline!important">List
Info:<span class="x_Apple-converted-space"> </span></span><a href="https://email.esm.psu.edu/mailman/listinfo/macosx-tex" class="OWAAutoLink" style="font-family:Monaco; font-size:13px; font-style:normal; font-weight:normal; letter-spacing:normal; orphans:auto; text-align:start; text-indent:0px; text-transform:none; white-space:normal; widows:auto; word-spacing:0px" id="LPlnk411688" previewremoved="true">https://email.esm.psu.edu/mailman/listinfo/macosx-tex</a></div>
</blockquote>
</div>
<br class="">
</div>
</div>
<br>
<br>
<font color="#999999" size="1" face="Arial">Aquest missatge, i els fitxers adjunts que hi pugui haver, pot contenir informació confidencial o protegida legalment i s’adreça exclusivament a la persona o entitat destinatŕria. Si no consteu com a destinatari final
o no teniu l’encŕrrec de rebre’l, no esteu autoritzat a llegir-lo, retenir-lo, modificar-lo, distribuir-lo, copiar-lo ni a revelar-ne el contingut. Si l’heu rebut per error, informeu-ne el remitent i elimineu del sistema tant el missatge com els fitxers adjunts
que hi pugui haver.<br>
<br>
Este mensaje, y los ficheros adjuntos que pueda incluir, puede contener información confidencial o legalmente protegida y está exclusivamente dirigido a la persona o entidad destinataria. Si usted no consta como destinatario final ni es la persona encargada
de recibirlo, no está autorizado a leerlo, retenerlo, modificarlo, distribuirlo o copiarlo, ni a revelar su contenido. Si lo ha recibido por error, informe de ello al remitente y elimine del sistema tanto el mensaje como los ficheros adjuntos que pueda contener.<br>
<br>
This email message and any attachments it carries may contain confidential or legally protected material and are intended solely for the individual or organization to whom they are addressed. If you are not the intended recipient of this message or the person
responsible for processing it, then you are not authorized to read, save, modify, send, copy or disclose any part of it. If you have received the message by mistake, please inform the sender of this and eliminate the message and any attachments it carries
from your account.</font>
<p></p>
</div>
</div>
</div>
</body>
</html>