<div dir="ltr">Hi All,<div><br></div><div>\triangleq   works fine for me.<br></div><div><br></div><div>See attached example. </div><div><br></div><div>Brian Coleman</div></div><br><div class="gmail_quote"><div dir="ltr">On Tue, 21 Aug 2018 at 20:00, <<a href="mailto:macosx-tex-request@email.esm.psu.edu">macosx-tex-request@email.esm.psu.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Send MacOSX-TeX mailing list submissions to<br>
        <a href="mailto:macosx-tex@email.esm.psu.edu" target="_blank">macosx-tex@email.esm.psu.edu</a><br>
<br>
To subscribe or unsubscribe via the World Wide Web, visit<br>
        <a href="https://email.esm.psu.edu/mailman/listinfo/macosx-tex" rel="noreferrer" target="_blank">https://email.esm.psu.edu/mailman/listinfo/macosx-tex</a><br>
or, via email, send a message with subject or body 'help' to<br>
        <a href="mailto:macosx-tex-request@email.esm.psu.edu" target="_blank">macosx-tex-request@email.esm.psu.edu</a><br>
<br>
You can reach the person managing the list at<br>
        <a href="mailto:macosx-tex-owner@email.esm.psu.edu" target="_blank">macosx-tex-owner@email.esm.psu.edu</a><br>
<br>
When replying, please edit your Subject line so it is more specific<br>
than "Re: Contents of MacOSX-TeX digest..."<br>
<br>
<br>
Today's Topics:<br>
<br>
   1. Re: Latex symbol for "define equal" (Markus Klyver)<br>
   2. Re: Latex symbol for "define equal" (Markus Klyver)<br>
   3. Re: Latex symbol for "define equal" (juan tolosa)<br>
   4. Re: Latex symbol for "define equal" (Josep Maria Font)<br>
   5. Re: Latex symbol for "define equal" (Markus Klyver)<br>
   6. Re: Latex symbol for "define equal" (Markus Klyver)<br>
   7. Re: Latex symbol for "define equal" (Josep Maria Font)<br>
   8. Re: Latex symbol for "define equal" (Ross Moore)<br>
   9. Re: Latex symbol for "define equal" (Markus Klyver)<br>
  10. Re: Latex symbol for "define equal" (Markus Klyver)<br>
  11. Re: Latex symbol for "define equal" (Martin Berggren)<br>
  12. Re: Latex symbol for "define equal" (N?stor E. Aguilera)<br>
  13. Re: Latex symbol for "define equal" (N?stor E. Aguilera)<br>
  14. Re: Latex symbol for "define equal" (Markus Klyver)<br>
  15. Re: Latex symbol for "define equal" (Markus Klyver)<br>
  16. Re: Latex symbol for "define equal" (Martin Berggren)<br>
<br>
<br>
----------------------------------------------------------------------<br>
<br>
Message: 1<br>
Date: Mon, 20 Aug 2018 23:51:26 +0000<br>
From: Markus Klyver <<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a>><br>
To: TeX on Mac OS X Mailing List <<a href="mailto:macosx-tex@email.esm.psu.edu" target="_blank">macosx-tex@email.esm.psu.edu</a>><br>
Subject: Re: [OS X TeX] Latex symbol for "define equal"<br>
Message-ID:<br>
        <<a href="mailto:DB6PR0901MB120892CEA34A345E764C52C2C3320@DB6PR0901MB1208.eurprd09.prod.outlook.com" target="_blank">DB6PR0901MB120892CEA34A345E764C52C2C3320@DB6PR0901MB1208.eurprd09.prod.outlook.com</a>><br>
<br>
Content-Type: text/plain; charset="utf-8"<br>
<br>
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>
-------------- next part --------------<br>
An HTML attachment was scrubbed...<br>
URL: <<a href="https://email.esm.psu.edu/pipermail/macosx-tex/attachments/20180820/fe99647b/attachment-0001.html" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/attachments/20180820/fe99647b/attachment-0001.html</a>><br>
<br>
------------------------------<br>
<br>
Message: 2<br>
Date: Mon, 20 Aug 2018 23:56:02 +0000<br>
From: Markus Klyver <<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a>><br>
To: TeX on Mac OS X Mailing List <<a href="mailto:macosx-tex@email.esm.psu.edu" target="_blank">macosx-tex@email.esm.psu.edu</a>><br>
Subject: Re: [OS X TeX] Latex symbol for "define equal"<br>
Message-ID:<br>
        <<a href="mailto:DB6PR0901MB12084C8135048CC9AAED626EC3320@DB6PR0901MB1208.eurprd09.prod.outlook.com" target="_blank">DB6PR0901MB12084C8135048CC9AAED626EC3320@DB6PR0901MB1208.eurprd09.prod.outlook.com</a>><br>
<br>
Content-Type: text/plain; charset="utf-8"<br>
<br>
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>
-------------- next part --------------<br>
An HTML attachment was scrubbed...<br>
URL: <<a href="https://email.esm.psu.edu/pipermail/macosx-tex/attachments/20180820/e4c19c0d/attachment-0001.html" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/attachments/20180820/e4c19c0d/attachment-0001.html</a>><br>
<br>
------------------------------<br>
<br>
Message: 3<br>
Date: Mon, 20 Aug 2018 23:40:59 -0400<br>
From: juan tolosa <<a href="mailto:juantolo@me.com" target="_blank">juantolo@me.com</a>><br>
To: TeX on Mac OS X Mailing List <<a href="mailto:macosx-tex@email.esm.psu.edu" target="_blank">macosx-tex@email.esm.psu.edu</a>><br>
Subject: Re: [OS X TeX] Latex symbol for "define equal"<br>
Message-ID: <<a href="mailto:D3E510E8-28B1-487D-A2FA-5D46F6A7284B@me.com" target="_blank">D3E510E8-28B1-487D-A2FA-5D46F6A7284B@me.com</a>><br>
Content-Type: text/plain; charset=utf-8<br>
<br>
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>
<br>
 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>
<br>
(Is it my impression, or there is a growing number of such texts? And when did this nonsense begin?)<br>
<br>
One could simply agree that the ?if? in definitions is not the same as the ?if? in logical statements. <br>
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>
by ?(a_n) converges to p? we mean ? (etc)<br>
Or simply not use ?if? at all in definitions.<br>
What is even more annoying is that when the definition gets really involved, the ?if and only if? makes it even worse.<br>
And, invariably, in a really involved definition you will find that the author(s) abandon their own fastidiousness and just use ?if.?<br>
Question is, why not do it from the very beginning?<br>
<br>
Juan<br>
<br>
> On Aug 20, 2018, at 7:56 PM, Markus Klyver <<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a>> wrote:<br>
> <br>
> 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>
> ----------- Please Consult the Following Before Posting -----------<br>
> TeX FAQ: <a href="http://www.tex.ac.uk/faq" rel="noreferrer" target="_blank">http://www.tex.ac.uk/faq</a><br>
> List Reminders and Etiquette: <a href="https://sites.esm.psu.edu/~gray/tex/" rel="noreferrer" target="_blank">https://sites.esm.psu.edu/~gray/tex/</a><br>
> List Archives: <a href="http://dir.gmane.org/gmane.comp.tex.macosx" rel="noreferrer" target="_blank">http://dir.gmane.org/gmane.comp.tex.macosx</a><br>
>                <a href="https://email.esm.psu.edu/pipermail/macosx-tex/" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/</a><br>
> TeX on Mac OS X Website: <a href="http://mactex-wiki.tug.org/" rel="noreferrer" target="_blank">http://mactex-wiki.tug.org/</a><br>
> List Info: <a href="https://email.esm.psu.edu/mailman/listinfo/macosx-tex" rel="noreferrer" target="_blank">https://email.esm.psu.edu/mailman/listinfo/macosx-tex</a><br>
<br>
<br>
<br>
------------------------------<br>
<br>
Message: 4<br>
Date: Tue, 21 Aug 2018 10:15:24 +0000<br>
From: Josep Maria Font <<a href="mailto:jmfont@ub.edu" target="_blank">jmfont@ub.edu</a>><br>
To: TeX on Mac OS X Mailing List <<a href="mailto:macosx-tex@email.esm.psu.edu" target="_blank">macosx-tex@email.esm.psu.edu</a>><br>
Subject: Re: [OS X TeX] Latex symbol for "define equal"<br>
Message-ID: <<a href="mailto:77496291-A014-4ACD-BB7F-6013F222CA83@ub.edu" target="_blank">77496291-A014-4ACD-BB7F-6013F222CA83@ub.edu</a>><br>
Content-Type: text/plain; charset="utf-8"<br>
<br>
That's why I prefer to use "when" for definitions: [...this NEW thing happens...] WHEN [...such-and-such known, understandable condition holds...].<br>
<br>
<br>
JMaF<br>
<br>
<br>
> El 21 /08/18, a les 5:40, juan tolosa <<a href="mailto:juantolo@me.com" target="_blank">juantolo@me.com</a>> va escriure:<br>
><br>
> 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>
><br>
> 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>
><br>
> (Is it my impression, or there is a growing number of such texts? And when did this nonsense begin?)<br>
><br>
> One could simply agree that the ?if? in definitions is not the same as the ?if? in logical statements.<br>
> 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>
> by ?(a_n) converges to p? we mean ? (etc)<br>
> Or simply not use ?if? at all in definitions.<br>
> What is even more annoying is that when the definition gets really involved, the ?if and only if? makes it even worse.<br>
> And, invariably, in a really involved definition you will find that the author(s) abandon their own fastidiousness and just use ?if.?<br>
> Question is, why not do it from the very beginning?<br>
><br>
> Juan<br>
><br>
>> On Aug 20, 2018, at 7:56 PM, Markus Klyver <<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a>> wrote:<br>
>><br>
>> 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>
>> ----------- Please Consult the Following Before Posting -----------<br>
>> TeX FAQ: <a href="http://www.tex.ac.uk/faq" rel="noreferrer" target="_blank">http://www.tex.ac.uk/faq</a><br>
>> List Reminders and Etiquette: <a href="https://sites.esm.psu.edu/~gray/tex/" rel="noreferrer" target="_blank">https://sites.esm.psu.edu/~gray/tex/</a><br>
>> List Archives: <a href="http://dir.gmane.org/gmane.comp.tex.macosx" rel="noreferrer" target="_blank">http://dir.gmane.org/gmane.comp.tex.macosx</a><br>
>>               <a href="https://email.esm.psu.edu/pipermail/macosx-tex/" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/</a><br>
>> TeX on Mac OS X Website: <a href="http://mactex-wiki.tug.org/" rel="noreferrer" target="_blank">http://mactex-wiki.tug.org/</a><br>
>> List Info: <a href="https://email.esm.psu.edu/mailman/listinfo/macosx-tex" rel="noreferrer" target="_blank">https://email.esm.psu.edu/mailman/listinfo/macosx-tex</a><br>
><br>
> ----------- Please Consult the Following Before Posting -----------<br>
> TeX FAQ: <a href="http://www.tex.ac.uk/faq" rel="noreferrer" target="_blank">http://www.tex.ac.uk/faq</a><br>
> List Reminders and Etiquette: <a href="https://sites.esm.psu.edu/~gray/tex/" rel="noreferrer" target="_blank">https://sites.esm.psu.edu/~gray/tex/</a><br>
> List Archives: <a href="http://dir.gmane.org/gmane.comp.tex.macosx" rel="noreferrer" target="_blank">http://dir.gmane.org/gmane.comp.tex.macosx</a><br>
>                <a href="https://email.esm.psu.edu/pipermail/macosx-tex/" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/</a><br>
> TeX on Mac OS X Website: <a href="http://mactex-wiki.tug.org/" rel="noreferrer" target="_blank">http://mactex-wiki.tug.org/</a><br>
> List Info: <a href="https://email.esm.psu.edu/mailman/listinfo/macosx-tex" rel="noreferrer" target="_blank">https://email.esm.psu.edu/mailman/listinfo/macosx-tex</a><br>
<br>
<br>
<br>
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.<br>
<br>
------------------------------<br>
<br>
Message: 5<br>
Date: Tue, 21 Aug 2018 10:40:21 +0000<br>
From: Markus Klyver <<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a>><br>
To: TeX on Mac OS X Mailing List <<a href="mailto:macosx-tex@email.esm.psu.edu" target="_blank">macosx-tex@email.esm.psu.edu</a>><br>
Subject: Re: [OS X TeX] Latex symbol for "define equal"<br>
Message-ID:<br>
        <<a href="mailto:HE1PR0901MB1209DAFA2D9115AE95FF1D57C3310@HE1PR0901MB1209.eurprd09.prod.outlook.com" target="_blank">HE1PR0901MB1209DAFA2D9115AE95FF1D57C3310@HE1PR0901MB1209.eurprd09.prod.outlook.com</a>><br>
<br>
Content-Type: text/plain; charset="windows-1252"<br>
<br>
This will be a little rant, but I completely disagree with you. It annoys me when authors *don't* use "iff" in definitions, and here's why:<br>
<br>
<br>
P if Q means that Q implies P. But in the case of definitions, it's a fact of an equivalence. We mean P <---> Q, which also is the meaning of "iff". Using only "if" in definitions causes confusion. Consider the following example: x=0 if f(x)=0. Do we mean this as something we derived, that x=0 implies f(x)=0? Or do we mean it as a definition of the function f, that f is defined to have only one root x=0?  Since definitions are implications both ways, one should use "iff" and not "if".<br>
<br>
<br>
It all has to do with the fact that natural language is really bad to state mathematical facts in; and non-mathematicians (like engineers) totally fail to see this point because they are not trained in logic or how a logical statement looks like.<br>
<br>
<br>
________________________________<br>
Fr?n: MacOSX-TeX <<a href="mailto:macosx-tex-bounces@email.esm.psu.edu" target="_blank">macosx-tex-bounces@email.esm.psu.edu</a>> f?r juan tolosa <<a href="mailto:juantolo@me.com" target="_blank">juantolo@me.com</a>><br>
Skickat: den 21 augusti 2018 05:40<br>
Till: TeX on Mac OS X Mailing List<br>
?mne: Re: [OS X TeX] Latex symbol for "define equal"<br>
<br>
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>
<br>
 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>
<br>
(Is it my impression, or there is a growing number of such texts? And when did this nonsense begin?)<br>
<br>
One could simply agree that the ?if? in definitions is not the same as the ?if? in logical statements.<br>
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>
by ?(a_n) converges to p? we mean ? (etc)<br>
Or simply not use ?if? at all in definitions.<br>
What is even more annoying is that when the definition gets really involved, the ?if and only if? makes it even worse.<br>
And, invariably, in a really involved definition you will find that the author(s) abandon their own fastidiousness and just use ?if.?<br>
Question is, why not do it from the very beginning?<br>
<br>
Juan<br>
<br>
> On Aug 20, 2018, at 7:56 PM, Markus Klyver <<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a>> wrote:<br>
><br>
> 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>
> ----------- Please Consult the Following Before Posting -----------<br>
> TeX FAQ: <a href="http://www.tex.ac.uk/faq" rel="noreferrer" target="_blank">http://www.tex.ac.uk/faq</a><br>
> List Reminders and Etiquette: <a href="https://sites.esm.psu.edu/~gray/tex/" rel="noreferrer" target="_blank">https://sites.esm.psu.edu/~gray/tex/</a><br>
> List Archives: <a href="http://dir.gmane.org/gmane.comp.tex.macosx" rel="noreferrer" target="_blank">http://dir.gmane.org/gmane.comp.tex.macosx</a><br>
>                <a href="https://email.esm.psu.edu/pipermail/macosx-tex/" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/</a><br>
> TeX on Mac OS X Website: <a href="http://mactex-wiki.tug.org/" rel="noreferrer" target="_blank">http://mactex-wiki.tug.org/</a><br>
> List Info: <a href="https://email.esm.psu.edu/mailman/listinfo/macosx-tex" rel="noreferrer" target="_blank">https://email.esm.psu.edu/mailman/listinfo/macosx-tex</a><br>
<br>
----------- Please Consult the Following Before Posting -----------<br>
TeX FAQ: <a href="http://www.tex.ac.uk/faq" rel="noreferrer" target="_blank">http://www.tex.ac.uk/faq</a><br>
List Reminders and Etiquette: <a href="https://sites.esm.psu.edu/~gray/tex/" rel="noreferrer" target="_blank">https://sites.esm.psu.edu/~gray/tex/</a><br>
List Archives: <a href="http://dir.gmane.org/gmane.comp.tex.macosx" rel="noreferrer" target="_blank">http://dir.gmane.org/gmane.comp.tex.macosx</a><br>
                <a href="https://email.esm.psu.edu/pipermail/macosx-tex/" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/</a><br>
TeX on Mac OS X Website: <a href="http://mactex-wiki.tug.org/" rel="noreferrer" target="_blank">http://mactex-wiki.tug.org/</a><br>
List Info: <a href="https://email.esm.psu.edu/mailman/listinfo/macosx-tex" rel="noreferrer" target="_blank">https://email.esm.psu.edu/mailman/listinfo/macosx-tex</a><br>
-------------- next part --------------<br>
An HTML attachment was scrubbed...<br>
URL: <<a href="https://email.esm.psu.edu/pipermail/macosx-tex/attachments/20180821/b89389e9/attachment-0001.html" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/attachments/20180821/b89389e9/attachment-0001.html</a>><br>
<br>
------------------------------<br>
<br>
Message: 6<br>
Date: Tue, 21 Aug 2018 11:02:03 +0000<br>
From: Markus Klyver <<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a>><br>
To: TeX on Mac OS X Mailing List <<a href="mailto:macosx-tex@email.esm.psu.edu" target="_blank">macosx-tex@email.esm.psu.edu</a>><br>
Subject: Re: [OS X TeX] Latex symbol for "define equal"<br>
Message-ID:<br>
        <<a href="mailto:HE1PR0901MB120961EFB979D77B61ABCB81C3310@HE1PR0901MB1209.eurprd09.prod.outlook.com" target="_blank">HE1PR0901MB120961EFB979D77B61ABCB81C3310@HE1PR0901MB1209.eurprd09.prod.outlook.com</a>><br>
<br>
Content-Type: text/plain; charset="windows-1252"<br>
<br>
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?<br>
<br>
<br>
________________________________<br>
Fr?n: MacOSX-TeX <<a href="mailto:macosx-tex-bounces@email.esm.psu.edu" target="_blank">macosx-tex-bounces@email.esm.psu.edu</a>> f?r Josep Maria Font <<a href="mailto:jmfont@ub.edu" target="_blank">jmfont@ub.edu</a>><br>
Skickat: den 21 augusti 2018 12:15<br>
Till: TeX on Mac OS X Mailing List<br>
?mne: Re: [OS X TeX] Latex symbol for "define equal"<br>
<br>
That's why I prefer to use "when" for definitions: [...this NEW thing happens...] WHEN [...such-and-such known, understandable condition holds...].<br>
<br>
<br>
JMaF<br>
<br>
<br>
> El 21 /08/18, a les 5:40, juan tolosa <<a href="mailto:juantolo@me.com" target="_blank">juantolo@me.com</a>> va escriure:<br>
><br>
> 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>
><br>
> 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>
><br>
> (Is it my impression, or there is a growing number of such texts? And when did this nonsense begin?)<br>
><br>
> One could simply agree that the ?if? in definitions is not the same as the ?if? in logical statements.<br>
> 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>
> by ?(a_n) converges to p? we mean ? (etc)<br>
> Or simply not use ?if? at all in definitions.<br>
> What is even more annoying is that when the definition gets really involved, the ?if and only if? makes it even worse.<br>
> And, invariably, in a really involved definition you will find that the author(s) abandon their own fastidiousness and just use ?if.?<br>
> Question is, why not do it from the very beginning?<br>
><br>
> Juan<br>
><br>
>> On Aug 20, 2018, at 7:56 PM, Markus Klyver <<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a>> wrote:<br>
>><br>
>> 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>
>> ----------- Please Consult the Following Before Posting -----------<br>
>> TeX FAQ: <a href="http://www.tex.ac.uk/faq" rel="noreferrer" target="_blank">http://www.tex.ac.uk/faq</a><br>
>> List Reminders and Etiquette: <a href="https://sites.esm.psu.edu/~gray/tex/" rel="noreferrer" target="_blank">https://sites.esm.psu.edu/~gray/tex/</a><br>
>> List Archives: <a href="http://dir.gmane.org/gmane.comp.tex.macosx" rel="noreferrer" target="_blank">http://dir.gmane.org/gmane.comp.tex.macosx</a><br>
>>               <a href="https://email.esm.psu.edu/pipermail/macosx-tex/" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/</a><br>
>> TeX on Mac OS X Website: <a href="http://mactex-wiki.tug.org/" rel="noreferrer" target="_blank">http://mactex-wiki.tug.org/</a><br>
>> List Info: <a href="https://email.esm.psu.edu/mailman/listinfo/macosx-tex" rel="noreferrer" target="_blank">https://email.esm.psu.edu/mailman/listinfo/macosx-tex</a><br>
><br>
> ----------- Please Consult the Following Before Posting -----------<br>
> TeX FAQ: <a href="http://www.tex.ac.uk/faq" rel="noreferrer" target="_blank">http://www.tex.ac.uk/faq</a><br>
> List Reminders and Etiquette: <a href="https://sites.esm.psu.edu/~gray/tex/" rel="noreferrer" target="_blank">https://sites.esm.psu.edu/~gray/tex/</a><br>
> List Archives: <a href="http://dir.gmane.org/gmane.comp.tex.macosx" rel="noreferrer" target="_blank">http://dir.gmane.org/gmane.comp.tex.macosx</a><br>
>                <a href="https://email.esm.psu.edu/pipermail/macosx-tex/" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/</a><br>
> TeX on Mac OS X Website: <a href="http://mactex-wiki.tug.org/" rel="noreferrer" target="_blank">http://mactex-wiki.tug.org/</a><br>
> List Info: <a href="https://email.esm.psu.edu/mailman/listinfo/macosx-tex" rel="noreferrer" target="_blank">https://email.esm.psu.edu/mailman/listinfo/macosx-tex</a><br>
<br>
<br>
<br>
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.<br>
----------- Please Consult the Following Before Posting -----------<br>
TeX FAQ: <a href="http://www.tex.ac.uk/faq" rel="noreferrer" target="_blank">http://www.tex.ac.uk/faq</a><br>
List Reminders and Etiquette: <a href="https://sites.esm.psu.edu/~gray/tex/" rel="noreferrer" target="_blank">https://sites.esm.psu.edu/~gray/tex/</a><br>
List Archives: <a href="http://dir.gmane.org/gmane.comp.tex.macosx" rel="noreferrer" target="_blank">http://dir.gmane.org/gmane.comp.tex.macosx</a><br>
                <a href="https://email.esm.psu.edu/pipermail/macosx-tex/" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/</a><br>
TeX on Mac OS X Website: <a href="http://mactex-wiki.tug.org/" rel="noreferrer" target="_blank">http://mactex-wiki.tug.org/</a><br>
List Info: <a href="https://email.esm.psu.edu/mailman/listinfo/macosx-tex" rel="noreferrer" target="_blank">https://email.esm.psu.edu/mailman/listinfo/macosx-tex</a><br>
-------------- next part --------------<br>
An HTML attachment was scrubbed...<br>
URL: <<a href="https://email.esm.psu.edu/pipermail/macosx-tex/attachments/20180821/fd09f33f/attachment-0001.html" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/attachments/20180821/fd09f33f/attachment-0001.html</a>><br>
<br>
------------------------------<br>
<br>
Message: 7<br>
Date: Tue, 21 Aug 2018 11:12:27 +0000<br>
From: Josep Maria Font <<a href="mailto:jmfont@ub.edu" target="_blank">jmfont@ub.edu</a>><br>
To: TeX on Mac OS X Mailing List <<a href="mailto:macosx-tex@email.esm.psu.edu" target="_blank">macosx-tex@email.esm.psu.edu</a>><br>
Subject: Re: [OS X TeX] Latex symbol for "define equal"<br>
Message-ID: <<a href="mailto:AABF4FED-3B93-4EAF-ADF1-C9647E712342@ub.edu" target="_blank">AABF4FED-3B93-4EAF-ADF1-C9647E712342@ub.edu</a>><br>
Content-Type: text/plain; charset="utf-8"<br>
<br>
If the context does not make it clear whether you are reading a theorem or a definition, something is wrong with this book !<br>
<br>
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".<br>
<br>
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!<br>
<br>
<br>
JMaF<br>
<br>
<br>
El 21 /08/18, a les 13:02, Markus Klyver <<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a><mailto:<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a>>> va escriure:<br>
<br>
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?<br>
<br>
<br>
________________________________<br>
Fr?n: MacOSX-TeX <<a href="mailto:macosx-tex-bounces@email.esm.psu.edu" target="_blank">macosx-tex-bounces@email.esm.psu.edu</a><mailto:<a href="mailto:macosx-tex-bounces@email.esm.psu.edu" target="_blank">macosx-tex-bounces@email.esm.psu.edu</a>>> f?r Josep Maria Font <<a href="mailto:jmfont@ub.edu" target="_blank">jmfont@ub.edu</a><mailto:<a href="mailto:jmfont@ub.edu" target="_blank">jmfont@ub.edu</a>>><br>
Skickat: den 21 augusti 2018 12:15<br>
Till: TeX on Mac OS X Mailing List<br>
?mne: Re: [OS X TeX] Latex symbol for "define equal"<br>
<br>
That's why I prefer to use "when" for definitions: [...this NEW thing happens...] WHEN [...such-and-such known, understandable condition holds...].<br>
<br>
<br>
JMaF<br>
<br>
<br>
> El 21 /08/18, a les 5:40, juan tolosa <<a href="mailto:juantolo@me.com" target="_blank">juantolo@me.com</a><mailto:<a href="mailto:juantolo@me.com" target="_blank">juantolo@me.com</a>>> va escriure:<br>
><br>
> 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>
><br>
> 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>
><br>
> (Is it my impression, or there is a growing number of such texts? And when did this nonsense begin?)<br>
><br>
> One could simply agree that the ?if? in definitions is not the same as the ?if? in logical statements.<br>
> 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>
> by ?(a_n) converges to p? we mean ? (etc)<br>
> Or simply not use ?if? at all in definitions.<br>
> What is even more annoying is that when the definition gets really involved, the ?if and only if? makes it even worse.<br>
> And, invariably, in a really involved definition you will find that the author(s) abandon their own fastidiousness and just use ?if.?<br>
> Question is, why not do it from the very beginning?<br>
><br>
> Juan<br>
><br>
>> On Aug 20, 2018, at 7:56 PM, Markus Klyver <<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a><mailto:<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a>>> wrote:<br>
>><br>
>> 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>
>> ----------- Please Consult the Following Before Posting -----------<br>
>> TeX FAQ: <a href="http://www.tex.ac.uk/faq" rel="noreferrer" target="_blank">http://www.tex.ac.uk/faq</a><br>
>> List Reminders and Etiquette: <a href="https://sites.esm.psu.edu/~gray/tex/" rel="noreferrer" target="_blank">https://sites.esm.psu.edu/~gray/tex/</a><br>
>> List Archives: <a href="http://dir.gmane.org/gmane.comp.tex.macosx" rel="noreferrer" target="_blank">http://dir.gmane.org/gmane.comp.tex.macosx</a><br>
>>               <a href="https://email.esm.psu.edu/pipermail/macosx-tex/" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/</a><br>
>> TeX on Mac OS X Website: <a href="http://mactex-wiki.tug.org/" rel="noreferrer" target="_blank">http://mactex-wiki.tug.org/</a><br>
>> List Info: <a href="https://email.esm.psu.edu/mailman/listinfo/macosx-tex" rel="noreferrer" target="_blank">https://email.esm.psu.edu/mailman/listinfo/macosx-tex</a><br>
><br>
> ----------- Please Consult the Following Before Posting -----------<br>
> TeX FAQ: <a href="http://www.tex.ac.uk/faq" rel="noreferrer" target="_blank">http://www.tex.ac.uk/faq</a><br>
> List Reminders and Etiquette: <a href="https://sites.esm.psu.edu/~gray/tex/" rel="noreferrer" target="_blank">https://sites.esm.psu.edu/~gray/tex/</a><br>
> List Archives: <a href="http://dir.gmane.org/gmane.comp.tex.macosx" rel="noreferrer" target="_blank">http://dir.gmane.org/gmane.comp.tex.macosx</a><br>
>                <a href="https://email.esm.psu.edu/pipermail/macosx-tex/" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/</a><br>
> TeX on Mac OS X Website: <a href="http://mactex-wiki.tug.org/" rel="noreferrer" target="_blank">http://mactex-wiki.tug.org/</a><br>
> List Info: <a href="https://email.esm.psu.edu/mailman/listinfo/macosx-tex" rel="noreferrer" target="_blank">https://email.esm.psu.edu/mailman/listinfo/macosx-tex</a><br>
<br>
<br>
<br>
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.<br>
----------- Please Consult the Following Before Posting -----------<br>
TeX FAQ: <a href="http://www.tex.ac.uk/faq" rel="noreferrer" target="_blank">http://www.tex.ac.uk/faq</a><br>
List Reminders and Etiquette: <a href="https://sites.esm.psu.edu/~gray/tex/" rel="noreferrer" target="_blank">https://sites.esm.psu.edu/~gray/tex/</a><br>
List Archives: <a href="http://dir.gmane.org/gmane.comp.tex.macosx" rel="noreferrer" target="_blank">http://dir.gmane.org/gmane.comp.tex.macosx</a><br>
                <a href="https://email.esm.psu.edu/pipermail/macosx-tex/" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/</a><br>
TeX on Mac OS X Website: <a href="http://mactex-wiki.tug.org/" rel="noreferrer" target="_blank">http://mactex-wiki.tug.org/</a><br>
List Info: <a href="https://email.esm.psu.edu/mailman/listinfo/macosx-tex" rel="noreferrer" target="_blank">https://email.esm.psu.edu/mailman/listinfo/macosx-tex</a><br>
----------- Please Consult the Following Before Posting -----------<br>
TeX FAQ: <a href="http://www.tex.ac.uk/faq" rel="noreferrer" target="_blank">http://www.tex.ac.uk/faq</a><br>
List Reminders and Etiquette: <a href="https://sites.esm.psu.edu/~gray/tex/" rel="noreferrer" target="_blank">https://sites.esm.psu.edu/~gray/tex/</a><br>
List Archives: <a href="http://dir.gmane.org/gmane.comp.tex.macosx" rel="noreferrer" target="_blank">http://dir.gmane.org/gmane.comp.tex.macosx</a><br>
               <a href="https://email.esm.psu.edu/pipermail/macosx-tex/" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/</a><br>
TeX on Mac OS X Website: <a href="http://mactex-wiki.tug.org/" rel="noreferrer" target="_blank">http://mactex-wiki.tug.org/</a><br>
List Info: <a href="https://email.esm.psu.edu/mailman/listinfo/macosx-tex" rel="noreferrer" target="_blank">https://email.esm.psu.edu/mailman/listinfo/macosx-tex</a><br>
<br>
<br>
<br>
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.<br>
-------------- next part --------------<br>
An HTML attachment was scrubbed...<br>
URL: <<a href="https://email.esm.psu.edu/pipermail/macosx-tex/attachments/20180821/1646232f/attachment-0001.html" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/attachments/20180821/1646232f/attachment-0001.html</a>><br>
<br>
------------------------------<br>
<br>
Message: 8<br>
Date: Tue, 21 Aug 2018 11:21:34 +0000<br>
From: Ross Moore <<a href="mailto:ross.moore@mq.edu.au" target="_blank">ross.moore@mq.edu.au</a>><br>
To: TeX on Mac OS X Mailing List <<a href="mailto:macosx-tex@email.esm.psu.edu" target="_blank">macosx-tex@email.esm.psu.edu</a>><br>
Cc: TeX on Mac OS X Mailing List <<a href="mailto:macosx-tex@email.esm.psu.edu" target="_blank">macosx-tex@email.esm.psu.edu</a>><br>
Subject: Re: [OS X TeX] Latex symbol for "define equal"<br>
Message-ID: <<a href="mailto:D6494BF8-D8D4-447A-8ADA-955E129E9BD5@mq.edu.au" target="_blank">D6494BF8-D8D4-447A-8ADA-955E129E9BD5@mq.edu.au</a>><br>
Content-Type: text/plain; charset="utf-8"<br>
<br>
Hi all.<br>
<br>
I agree with using "when", or better "precisely when", in definitions.<br>
Do not use these words in theorems. There are many alternative ways to express what you want.<br>
<br>
But didn't this thread start out asking for a symbolic notation?<br>
In that context, equivalence is *not* the word you want for a definition, as equivalence depends on a particular relation, so is weaker than a definition.<br>
<br>
There are nuances in mathematical concepts and notations that are not always correctly appreciated by those who work primarily in other (mostly applied) fields.<br>
<br>
<br>
On 21/08/2018, at 13:03, "Markus Klyver" <<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a><mailto:<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a>>> wrote:<br>
<br>
<br>
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?<br>
<br>
<br>
________________________________<br>
Fr?n: MacOSX-TeX <<a href="mailto:macosx-tex-bounces@email.esm.psu.edu" target="_blank">macosx-tex-bounces@email.esm.psu.edu</a><mailto:<a href="mailto:macosx-tex-bounces@email.esm.psu.edu" target="_blank">macosx-tex-bounces@email.esm.psu.edu</a>>> f?r Josep Maria Font <<a href="mailto:jmfont@ub.edu" target="_blank">jmfont@ub.edu</a><mailto:<a href="mailto:jmfont@ub.edu" target="_blank">jmfont@ub.edu</a>>><br>
Skickat: den 21 augusti 2018 12:15<br>
Till: TeX on Mac OS X Mailing List<br>
?mne: Re: [OS X TeX] Latex symbol for "define equal"<br>
<br>
That's why I prefer to use "when" for definitions: [...this NEW thing happens...] WHEN [...such-and-such known, understandable condition holds...].<br>
<br>
<br>
JMaF<br>
<br>
<br>
Cheers,<br>
<br>
   Ross<br>
-------------- next part --------------<br>
An HTML attachment was scrubbed...<br>
URL: <<a href="https://email.esm.psu.edu/pipermail/macosx-tex/attachments/20180821/8a94d21a/attachment-0001.html" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/attachments/20180821/8a94d21a/attachment-0001.html</a>><br>
<br>
------------------------------<br>
<br>
Message: 9<br>
Date: Tue, 21 Aug 2018 11:47:26 +0000<br>
From: Markus Klyver <<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a>><br>
To: TeX on Mac OS X Mailing List <<a href="mailto:macosx-tex@email.esm.psu.edu" target="_blank">macosx-tex@email.esm.psu.edu</a>><br>
Subject: Re: [OS X TeX] Latex symbol for "define equal"<br>
Message-ID:<br>
        <<a href="mailto:HE1PR0901MB120957F886843AB608FA5147C3310@HE1PR0901MB1209.eurprd09.prod.outlook.com" target="_blank">HE1PR0901MB120957F886843AB608FA5147C3310@HE1PR0901MB1209.eurprd09.prod.outlook.com</a>><br>
<br>
Content-Type: text/plain; charset="windows-1252"<br>
<br>
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". It turns out that this is equivalent to a lot of things, among det(A) !=0, A having full rang, A having n linear independent eigenvectors, Ax=0 only having the trivial solution, Ax=b having a solution (which is unique) for every right-hand-side b, etc.<br>
<br>
<br>
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 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.<br>
<br>
<br>
________________________________<br>
Fr?n: MacOSX-TeX <<a href="mailto:macosx-tex-bounces@email.esm.psu.edu" target="_blank">macosx-tex-bounces@email.esm.psu.edu</a>> f?r Josep Maria Font <<a href="mailto:jmfont@ub.edu" target="_blank">jmfont@ub.edu</a>><br>
Skickat: den 21 augusti 2018 13:12<br>
Till: TeX on Mac OS X Mailing List<br>
?mne: Re: [OS X TeX] Latex symbol for "define equal"<br>
<br>
If the context does not make it clear whether you are reading a theorem or a definition, something is wrong with this book !<br>
<br>
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".<br>
<br>
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!<br>
<br>
<br>
JMaF<br>
<br>
<br>
El 21 /08/18, a les 13:02, Markus Klyver <<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a><mailto:<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a>>> va escriure:<br>
<br>
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?<br>
<br>
<br>
________________________________<br>
Fr?n: MacOSX-TeX <<a href="mailto:macosx-tex-bounces@email.esm.psu.edu" target="_blank">macosx-tex-bounces@email.esm.psu.edu</a><mailto:<a href="mailto:macosx-tex-bounces@email.esm.psu.edu" target="_blank">macosx-tex-bounces@email.esm.psu.edu</a>>> f?r Josep Maria Font <<a href="mailto:jmfont@ub.edu" target="_blank">jmfont@ub.edu</a><mailto:<a href="mailto:jmfont@ub.edu" target="_blank">jmfont@ub.edu</a>>><br>
Skickat: den 21 augusti 2018 12:15<br>
Till: TeX on Mac OS X Mailing List<br>
?mne: Re: [OS X TeX] Latex symbol for "define equal"<br>
<br>
That's why I prefer to use "when" for definitions: [...this NEW thing happens...] WHEN [...such-and-such known, understandable condition holds...].<br>
<br>
<br>
JMaF<br>
<br>
<br>
> El 21 /08/18, a les 5:40, juan tolosa <<a href="mailto:juantolo@me.com" target="_blank">juantolo@me.com</a><mailto:<a href="mailto:juantolo@me.com" target="_blank">juantolo@me.com</a>>> va escriure:<br>
><br>
> 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>
><br>
> 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>
><br>
> (Is it my impression, or there is a growing number of such texts? And when did this nonsense begin?)<br>
><br>
> One could simply agree that the ?if? in definitions is not the same as the ?if? in logical statements.<br>
> 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>
> by ?(a_n) converges to p? we mean ? (etc)<br>
> Or simply not use ?if? at all in definitions.<br>
> What is even more annoying is that when the definition gets really involved, the ?if and only if? makes it even worse.<br>
> And, invariably, in a really involved definition you will find that the author(s) abandon their own fastidiousness and just use ?if.?<br>
> Question is, why not do it from the very beginning?<br>
><br>
> Juan<br>
><br>
>> On Aug 20, 2018, at 7:56 PM, Markus Klyver <<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a><mailto:<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a>>> wrote:<br>
>><br>
>> 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>
>> ----------- Please Consult the Following Before Posting -----------<br>
>> TeX FAQ: <a href="http://www.tex.ac.uk/faq" rel="noreferrer" target="_blank">http://www.tex.ac.uk/faq</a><br>
>> List Reminders and Etiquette: <a href="https://sites.esm.psu.edu/~gray/tex/" rel="noreferrer" target="_blank">https://sites.esm.psu.edu/~gray/tex/</a><br>
>> List Archives: <a href="http://dir.gmane.org/gmane.comp.tex.macosx" rel="noreferrer" target="_blank">http://dir.gmane.org/gmane.comp.tex.macosx</a><br>
>>               <a href="https://email.esm.psu.edu/pipermail/macosx-tex/" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/</a><br>
>> TeX on Mac OS X Website: <a href="http://mactex-wiki.tug.org/" rel="noreferrer" target="_blank">http://mactex-wiki.tug.org/</a><br>
>> List Info: <a href="https://email.esm.psu.edu/mailman/listinfo/macosx-tex" rel="noreferrer" target="_blank">https://email.esm.psu.edu/mailman/listinfo/macosx-tex</a><br>
><br>
> ----------- Please Consult the Following Before Posting -----------<br>
> TeX FAQ: <a href="http://www.tex.ac.uk/faq" rel="noreferrer" target="_blank">http://www.tex.ac.uk/faq</a><br>
> List Reminders and Etiquette: <a href="https://sites.esm.psu.edu/~gray/tex/" rel="noreferrer" target="_blank">https://sites.esm.psu.edu/~gray/tex/</a><br>
> List Archives: <a href="http://dir.gmane.org/gmane.comp.tex.macosx" rel="noreferrer" target="_blank">http://dir.gmane.org/gmane.comp.tex.macosx</a><br>
>                <a href="https://email.esm.psu.edu/pipermail/macosx-tex/" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/</a><br>
> TeX on Mac OS X Website: <a href="http://mactex-wiki.tug.org/" rel="noreferrer" target="_blank">http://mactex-wiki.tug.org/</a><br>
> List Info: <a href="https://email.esm.psu.edu/mailman/listinfo/macosx-tex" rel="noreferrer" target="_blank">https://email.esm.psu.edu/mailman/listinfo/macosx-tex</a><br>
<br>
<br>
<br>
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.<br>
----------- Please Consult the Following Before Posting -----------<br>
TeX FAQ: <a href="http://www.tex.ac.uk/faq" rel="noreferrer" target="_blank">http://www.tex.ac.uk/faq</a><br>
List Reminders and Etiquette: <a href="https://sites.esm.psu.edu/~gray/tex/" rel="noreferrer" target="_blank">https://sites.esm.psu.edu/~gray/tex/</a><br>
List Archives: <a href="http://dir.gmane.org/gmane.comp.tex.macosx" rel="noreferrer" target="_blank">http://dir.gmane.org/gmane.comp.tex.macosx</a><br>
                <a href="https://email.esm.psu.edu/pipermail/macosx-tex/" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/</a><br>
TeX on Mac OS X Website: <a href="http://mactex-wiki.tug.org/" rel="noreferrer" target="_blank">http://mactex-wiki.tug.org/</a><br>
List Info: <a href="https://email.esm.psu.edu/mailman/listinfo/macosx-tex" rel="noreferrer" target="_blank">https://email.esm.psu.edu/mailman/listinfo/macosx-tex</a><br>
----------- Please Consult the Following Before Posting -----------<br>
TeX FAQ: <a href="http://www.tex.ac.uk/faq" rel="noreferrer" target="_blank">http://www.tex.ac.uk/faq</a><br>
List Reminders and Etiquette: <a href="https://sites.esm.psu.edu/~gray/tex/" rel="noreferrer" target="_blank">https://sites.esm.psu.edu/~gray/tex/</a><br>
List Archives: <a href="http://dir.gmane.org/gmane.comp.tex.macosx" rel="noreferrer" target="_blank">http://dir.gmane.org/gmane.comp.tex.macosx</a><br>
               <a href="https://email.esm.psu.edu/pipermail/macosx-tex/" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/</a><br>
TeX on Mac OS X Website: <a href="http://mactex-wiki.tug.org/" rel="noreferrer" target="_blank">http://mactex-wiki.tug.org/</a><br>
List Info: <a href="https://email.esm.psu.edu/mailman/listinfo/macosx-tex" rel="noreferrer" target="_blank">https://email.esm.psu.edu/mailman/listinfo/macosx-tex</a><br>
<br>
<br>
<br>
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.<br>
-------------- next part --------------<br>
An HTML attachment was scrubbed...<br>
URL: <<a href="https://email.esm.psu.edu/pipermail/macosx-tex/attachments/20180821/df1a49f4/attachment-0001.html" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/attachments/20180821/df1a49f4/attachment-0001.html</a>><br>
<br>
------------------------------<br>
<br>
Message: 10<br>
Date: Tue, 21 Aug 2018 11:49:09 +0000<br>
From: Markus Klyver <<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a>><br>
To: TeX on Mac OS X Mailing List <<a href="mailto:macosx-tex@email.esm.psu.edu" target="_blank">macosx-tex@email.esm.psu.edu</a>><br>
Subject: Re: [OS X TeX] Latex symbol for "define equal"<br>
Message-ID:<br>
        <<a href="mailto:HE1PR0901MB1209E67541A9F9A221589F4AC3310@HE1PR0901MB1209.eurprd09.prod.outlook.com" target="_blank">HE1PR0901MB1209E67541A9F9A221589F4AC3310@HE1PR0901MB1209.eurprd09.prod.outlook.com</a>><br>
<br>
Content-Type: text/plain; charset="iso-8859-1"<br>
<br>
Definitions *are* equivalences.<br>
<br>
<br>
________________________________<br>
Fr?n: MacOSX-TeX <<a href="mailto:macosx-tex-bounces@email.esm.psu.edu" target="_blank">macosx-tex-bounces@email.esm.psu.edu</a>> f?r Ross Moore <<a href="mailto:ross.moore@mq.edu.au" target="_blank">ross.moore@mq.edu.au</a>><br>
Skickat: den 21 augusti 2018 13:21<br>
Till: TeX on Mac OS X Mailing List<br>
Kopia: TeX on Mac OS X Mailing List<br>
?mne: Re: [OS X TeX] Latex symbol for "define equal"<br>
<br>
Hi all.<br>
<br>
I agree with using "when", or better "precisely when", in definitions.<br>
Do not use these words in theorems. There are many alternative ways to express what you want.<br>
<br>
But didn't this thread start out asking for a symbolic notation?<br>
In that context, equivalence is *not* the word you want for a definition, as equivalence depends on a particular relation, so is weaker than a definition.<br>
<br>
There are nuances in mathematical concepts and notations that are not always correctly appreciated by those who work primarily in other (mostly applied) fields.<br>
<br>
<br>
On 21/08/2018, at 13:03, "Markus Klyver" <<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a><mailto:<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a>>> wrote:<br>
<br>
<br>
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?<br>
<br>
<br>
________________________________<br>
Fr?n: MacOSX-TeX <<a href="mailto:macosx-tex-bounces@email.esm.psu.edu" target="_blank">macosx-tex-bounces@email.esm.psu.edu</a><mailto:<a href="mailto:macosx-tex-bounces@email.esm.psu.edu" target="_blank">macosx-tex-bounces@email.esm.psu.edu</a>>> f?r Josep Maria Font <<a href="mailto:jmfont@ub.edu" target="_blank">jmfont@ub.edu</a><mailto:<a href="mailto:jmfont@ub.edu" target="_blank">jmfont@ub.edu</a>>><br>
Skickat: den 21 augusti 2018 12:15<br>
Till: TeX on Mac OS X Mailing List<br>
?mne: Re: [OS X TeX] Latex symbol for "define equal"<br>
<br>
That's why I prefer to use "when" for definitions: [...this NEW thing happens...] WHEN [...such-and-such known, understandable condition holds...].<br>
<br>
<br>
JMaF<br>
<br>
<br>
Cheers,<br>
<br>
   Ross<br>
-------------- next part --------------<br>
An HTML attachment was scrubbed...<br>
URL: <<a href="https://email.esm.psu.edu/pipermail/macosx-tex/attachments/20180821/1ee9e03b/attachment-0001.html" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/attachments/20180821/1ee9e03b/attachment-0001.html</a>><br>
<br>
------------------------------<br>
<br>
Message: 11<br>
Date: Tue, 21 Aug 2018 13:59:18 +0200<br>
From: Martin Berggren <<a href="mailto:martin.berggren@cs.umu.se" target="_blank">martin.berggren@cs.umu.se</a>><br>
To: TeX on Mac OS X Mailing List <<a href="mailto:macosx-tex@email.esm.psu.edu" target="_blank">macosx-tex@email.esm.psu.edu</a>><br>
Subject: Re: [OS X TeX] Latex symbol for "define equal"<br>
Message-ID: <<a href="mailto:59716C4D-A9A5-40D0-B16D-FA55623687DC@cs.umu.se" target="_blank">59716C4D-A9A5-40D0-B16D-FA55623687DC@cs.umu.se</a>><br>
Content-Type: text/plain; charset="utf-8"<br>
<br>
<br>
> On 21 Aug 2018, at 13:47, Markus Klyver <<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a>> wrote:<br>
> <br>
> 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". It turns out that this is equivalent to a lot of things, among det(A) !=0, A having full rang, A having n linearindependent eigenvectors, Ax=0 only having the trivial solution, Ax=b having a solution (which is unique) for every right-hand-side b, etc.<br>
<br>
I would save that this is a theorem, not a definition. I think of a definition as a ?macro?; that is,  giving a short name to a mathematical property. Example: a matrix A is called positive semidefinite when x^T Ax \geq 0 for all vectors x. The point is that you in each instances when the name is used, it can be replaced by its definition. <br>
<br>
Sincerely,<br>
<br>
<br>
Martin Berggren<br>
-------------------------------------------------------------------<br>
Department of Computing Science, <br>
UMIT Research Lab<br>
Ume? Universitet<br>
Campustorget 5, S-901 87 Ume?, Sweden. Ph: +46-70-732 8111<br>
<a href="http://www.cs.umu.se/~martinb" rel="noreferrer" target="_blank">http://www.cs.umu.se/~martinb</a> <<a href="http://www.cs.umu.se/~martinb" rel="noreferrer" target="_blank">http://www.cs.umu.se/~martinb</a>>, <a href="mailto:Martin.Berggren@cs.umu.se" target="_blank">Martin.Berggren@cs.umu.se</a> <mailto:<a href="mailto:Martin.Berggren@cs.umu.se" target="_blank">Martin.Berggren@cs.umu.se</a>><br>
<br>
<br>
-------------- next part --------------<br>
An HTML attachment was scrubbed...<br>
URL: <<a href="https://email.esm.psu.edu/pipermail/macosx-tex/attachments/20180821/e44e055c/attachment-0001.html" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/attachments/20180821/e44e055c/attachment-0001.html</a>><br>
<br>
------------------------------<br>
<br>
Message: 12<br>
Date: Tue, 21 Aug 2018 09:10:57 -0300<br>
From: "N?stor E. Aguilera" <<a href="mailto:nestoreaguilera@gmail.com" target="_blank">nestoreaguilera@gmail.com</a>><br>
To: TeX on Mac OS X Mailing List <<a href="mailto:macosx-tex@email.esm.psu.edu" target="_blank">macosx-tex@email.esm.psu.edu</a>><br>
Subject: Re: [OS X TeX] Latex symbol for "define equal"<br>
Message-ID: <<a href="mailto:6A9FD85E-F6AD-4418-804F-F854FE87EDE1@gmail.com" target="_blank">6A9FD85E-F6AD-4418-804F-F854FE87EDE1@gmail.com</a>><br>
Content-Type: text/plain;       charset=utf-8<br>
<br>
Hi everyone:<br>
<br>
It seems to me that when we use "=" or another symbol in a "definition" we are actually stablishin a "notation". When we say "A is invertible if/iff/when..." this looks more like a definition, but it is actually a naming convention (right?), that is, a variant of notation, where we use a name to describe a perhaps complex situation.<br>
<br>
Knuth "defines" (as stated in Appendix B) the "bracket notation" (ACP, Vol 1, ?1.2.3, equation (16)) using "=" and "if".<br>
<br>
Perhaps somebody can explain what are the differences, if any, between "definition" and "notation".<br>
<br>
Best,<br>
<br>
Nestor<br>
<br>
===============================================<br>
<br>
> On 21 Aug 2018, at 08:49, Markus Klyver <<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a>> wrote:<br>
> <br>
> Definitions *are* equivalences.<br>
> <br>
> <br>
> Fr?n: MacOSX-TeX <<a href="mailto:macosx-tex-bounces@email.esm.psu.edu" target="_blank">macosx-tex-bounces@email.esm.psu.edu</a>> f?r Ross Moore <<a href="mailto:ross.moore@mq.edu.au" target="_blank">ross.moore@mq.edu.au</a>><br>
> Skickat: den 21 augusti 2018 13:21<br>
> Till: TeX on Mac OS X Mailing List<br>
> Kopia: TeX on Mac OS X Mailing List<br>
> ?mne: Re: [OS X TeX] Latex symbol for "define equal"<br>
>  <br>
> Hi all.<br>
> <br>
> I agree with using "when", or better "precisely when", in definitions.<br>
> Do not use these words in theorems. There are many alternative ways to express what you want.<br>
> <br>
> But didn't this thread start out asking for a symbolic notation?<br>
> In that context, equivalence is *not* the word you want for a definition, as equivalence depends on a particular relation, so is weaker than a definition.<br>
> <br>
> There are nuances in mathematical concepts and notations that are not always correctly appreciated by those who work primarily in other (mostly applied) fields.<br>
> <br>
> <br>
> On 21/08/2018, at 13:03, "Markus Klyver" <<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a>> wrote:<br>
> <br>
>> 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?<br>
>> <br>
>> <br>
>> Fr?n: MacOSX-TeX <<a href="mailto:macosx-tex-bounces@email.esm.psu.edu" target="_blank">macosx-tex-bounces@email.esm.psu.edu</a>> f?r Josep Maria Font <<a href="mailto:jmfont@ub.edu" target="_blank">jmfont@ub.edu</a>><br>
>> Skickat: den 21 augusti 2018 12:15<br>
>> Till: TeX on Mac OS X Mailing List<br>
>> ?mne: Re: [OS X TeX] Latex symbol for "define equal"<br>
>>  <br>
>> That's why I prefer to use "when" for definitions: [...this NEW thing happens...] WHEN [...such-and-such known, understandable condition holds...].<br>
>> <br>
>> <br>
>> JMaF<br>
> <br>
> <br>
> Cheers,<br>
> <br>
>    Ross<br>
> ----------- Please Consult the Following Before Posting -----------<br>
> TeX FAQ: <a href="http://www.tex.ac.uk/faq" rel="noreferrer" target="_blank">http://www.tex.ac.uk/faq</a><br>
> List Reminders and Etiquette: <a href="https://sites.esm.psu.edu/~gray/tex/" rel="noreferrer" target="_blank">https://sites.esm.psu.edu/~gray/tex/</a><br>
> List Archives: <a href="http://dir.gmane.org/gmane.comp.tex.macosx" rel="noreferrer" target="_blank">http://dir.gmane.org/gmane.comp.tex.macosx</a><br>
>                <a href="https://email.esm.psu.edu/pipermail/macosx-tex/" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/</a><br>
> TeX on Mac OS X Website: <a href="http://mactex-wiki.tug.org/" rel="noreferrer" target="_blank">http://mactex-wiki.tug.org/</a><br>
> List Info: <a href="https://email.esm.psu.edu/mailman/listinfo/macosx-tex" rel="noreferrer" target="_blank">https://email.esm.psu.edu/mailman/listinfo/macosx-tex</a><br>
<br>
<br>
<br>
------------------------------<br>
<br>
Message: 13<br>
Date: Tue, 21 Aug 2018 09:43:39 -0300<br>
From: "N?stor E. Aguilera" <<a href="mailto:nestoreaguilera@gmail.com" target="_blank">nestoreaguilera@gmail.com</a>><br>
To: Ralph Martin <<a href="mailto:ralphrmartin@gmail.com" target="_blank">ralphrmartin@gmail.com</a>><br>
Cc: TeX on Mac OS X Mailing List <<a href="mailto:macosx-tex@email.esm.psu.edu" target="_blank">macosx-tex@email.esm.psu.edu</a>><br>
Subject: Re: [OS X TeX] Latex symbol for "define equal"<br>
Message-ID: <<a href="mailto:DB8137AC-4047-430F-A249-E12ED33D1F90@gmail.com" target="_blank">DB8137AC-4047-430F-A249-E12ED33D1F90@gmail.com</a>><br>
Content-Type: text/plain;       charset=utf-8<br>
<br>
Hi Ralph:<br>
<br>
> On 21 Aug 2018, at 09:30, Ralph Martin <<a href="mailto:ralphrmartin@gmail.com" target="_blank">ralphrmartin@gmail.com</a>> wrote:<br>
> <br>
>> [...]<br>
> <br>
> Definitions give *names* for concepts: <br>
> - a "matrix" is a two-dimensional table ...<br>
> - an "invertible matrix" is a matrix which ...<br>
> <br>
> Notation gives *symbols* for concepts (or quantities):<br>
> - ? is used to denote the ratio of the circumference of any circle to its diameter<br>
> - t is used to denote time<br>
> - boldface letters are used to denote vectors<br>
> <br>
> I always have trouble getting computer science students not to use multi-letter variable *names* in maths, when they should be using *symbols* for variables.<br>
<br>
So, would you say that the equality sign (or some replacement of it) in a "definition" is actually describing a "notation"?<br>
<br>
Nestor<br>
<br>
------------------------------<br>
<br>
Message: 14<br>
Date: Tue, 21 Aug 2018 12:48:48 +0000<br>
From: Markus Klyver <<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a>><br>
To: TeX on Mac OS X Mailing List <<a href="mailto:macosx-tex@email.esm.psu.edu" target="_blank">macosx-tex@email.esm.psu.edu</a>><br>
Subject: Re: [OS X TeX] Latex symbol for "define equal"<br>
Message-ID:<br>
        <<a href="mailto:HE1PR0901MB1209F6C8AA31316AC2E36D57C3310@HE1PR0901MB1209.eurprd09.prod.outlook.com" target="_blank">HE1PR0901MB1209F6C8AA31316AC2E36D57C3310@HE1PR0901MB1209.eurprd09.prod.outlook.com</a>><br>
<br>
Content-Type: text/plain; charset="windows-1252"<br>
<br>
Depends, literature tends to use the definitions interchangeably depending on what aspect is important to subject.<br>
<br>
<br>
________________________________<br>
Fr?n: MacOSX-TeX <<a href="mailto:macosx-tex-bounces@email.esm.psu.edu" target="_blank">macosx-tex-bounces@email.esm.psu.edu</a>> f?r Martin Berggren <<a href="mailto:martin.berggren@cs.umu.se" target="_blank">martin.berggren@cs.umu.se</a>><br>
Skickat: den 21 augusti 2018 13:59<br>
Till: TeX on Mac OS X Mailing List<br>
?mne: Re: [OS X TeX] Latex symbol for "define equal"<br>
<br>
<br>
On 21 Aug 2018, at 13:47, Markus Klyver <<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a><mailto:<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a>>> wrote:<br>
<br>
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". It turns out that this is equivalent to a lot of things, among det(A) !=0, A having full rang, A having n linearindependent eigenvectors, Ax=0 only having the trivial solution, Ax=b having a solution (which is unique) for every right-hand-side b, etc.<br>
<br>
I would save that this is a theorem, not a definition. I think of a definition as a ?macro?; that is,  giving a short name to a mathematical property. Example: a matrix A is called positive semidefinite when x^T Ax \geq 0 for all vectors x. The point is that you in each instances when the name is used, it can be replaced by its definition.<br>
<br>
Sincerely,<br>
<br>
<br>
Martin Berggren<br>
-------------------------------------------------------------------<br>
Department of Computing Science,<br>
UMIT Research Lab<br>
Ume? Universitet<br>
Campustorget 5, S-901 87 Ume?, Sweden. Ph: +46-70-732 8111<br>
<a href="http://www.cs.umu.se/~martinb" rel="noreferrer" target="_blank">http://www.cs.umu.se/~martinb</a>, <a href="mailto:Martin.Berggren@cs.umu.se" target="_blank">Martin.Berggren@cs.umu.se</a><mailto:<a href="mailto:Martin.Berggren@cs.umu.se" target="_blank">Martin.Berggren@cs.umu.se</a>><br>
<br>
<br>
-------------- next part --------------<br>
An HTML attachment was scrubbed...<br>
URL: <<a href="https://email.esm.psu.edu/pipermail/macosx-tex/attachments/20180821/d32ae1ab/attachment-0001.html" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/attachments/20180821/d32ae1ab/attachment-0001.html</a>><br>
<br>
------------------------------<br>
<br>
Message: 15<br>
Date: Tue, 21 Aug 2018 12:51:48 +0000<br>
From: Markus Klyver <<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a>><br>
To: TeX on Mac OS X Mailing List <<a href="mailto:macosx-tex@email.esm.psu.edu" target="_blank">macosx-tex@email.esm.psu.edu</a>><br>
Subject: Re: [OS X TeX] Latex symbol for "define equal"<br>
Message-ID:<br>
        <<a href="mailto:HE1PR0901MB12093547942945904F35ABABC3310@HE1PR0901MB1209.eurprd09.prod.outlook.com" target="_blank">HE1PR0901MB12093547942945904F35ABABC3310@HE1PR0901MB1209.eurprd09.prod.outlook.com</a>><br>
<br>
Content-Type: text/plain; charset="utf-8"<br>
<br>
Yes, the sign = usually denotes an equivalence relation between two sets of interest. So the equality sign is a matter of notation, denoting "equality" (in the sense of an equivalence relation).<br>
<br>
<br>
________________________________<br>
Fr?n: MacOSX-TeX <<a href="mailto:macosx-tex-bounces@email.esm.psu.edu" target="_blank">macosx-tex-bounces@email.esm.psu.edu</a>> f?r "N?stor E. Aguilera" <<a href="mailto:nestoreaguilera@gmail.com" target="_blank">nestoreaguilera@gmail.com</a>><br>
Skickat: den 21 augusti 2018 14:43<br>
Till: Ralph Martin<br>
Kopia: TeX on Mac OS X Mailing List<br>
?mne: Re: [OS X TeX] Latex symbol for "define equal"<br>
<br>
Hi Ralph:<br>
<br>
> On 21 Aug 2018, at 09:30, Ralph Martin <<a href="mailto:ralphrmartin@gmail.com" target="_blank">ralphrmartin@gmail.com</a>> wrote:<br>
><br>
>> [...]<br>
><br>
> Definitions give *names* for concepts:<br>
> - a "matrix" is a two-dimensional table ...<br>
> - an "invertible matrix" is a matrix which ...<br>
><br>
> Notation gives *symbols* for concepts (or quantities):<br>
> - ? is used to denote the ratio of the circumference of any circle to its diameter<br>
> - t is used to denote time<br>
> - boldface letters are used to denote vectors<br>
><br>
> I always have trouble getting computer science students not to use multi-letter variable *names* in maths, when they should be using *symbols* for variables.<br>
<br>
So, would you say that the equality sign (or some replacement of it) in a "definition" is actually describing a "notation"?<br>
<br>
Nestor<br>
----------- Please Consult the Following Before Posting -----------<br>
TeX FAQ: <a href="http://www.tex.ac.uk/faq" rel="noreferrer" target="_blank">http://www.tex.ac.uk/faq</a><br>
List Reminders and Etiquette: <a href="https://sites.esm.psu.edu/~gray/tex/" rel="noreferrer" target="_blank">https://sites.esm.psu.edu/~gray/tex/</a><br>
List Archives: <a href="http://dir.gmane.org/gmane.comp.tex.macosx" rel="noreferrer" target="_blank">http://dir.gmane.org/gmane.comp.tex.macosx</a><br>
                <a href="https://email.esm.psu.edu/pipermail/macosx-tex/" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/</a><br>
TeX on Mac OS X Website: <a href="http://mactex-wiki.tug.org/" rel="noreferrer" target="_blank">http://mactex-wiki.tug.org/</a><br>
List Info: <a href="https://email.esm.psu.edu/mailman/listinfo/macosx-tex" rel="noreferrer" target="_blank">https://email.esm.psu.edu/mailman/listinfo/macosx-tex</a><br>
-------------- next part --------------<br>
An HTML attachment was scrubbed...<br>
URL: <<a href="https://email.esm.psu.edu/pipermail/macosx-tex/attachments/20180821/1b26ea20/attachment-0001.html" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/attachments/20180821/1b26ea20/attachment-0001.html</a>><br>
<br>
------------------------------<br>
<br>
Message: 16<br>
Date: Tue, 21 Aug 2018 14:58:46 +0200<br>
From: Martin Berggren <<a href="mailto:martin.berggren@cs.umu.se" target="_blank">martin.berggren@cs.umu.se</a>><br>
To: TeX on Mac OS X Mailing List <<a href="mailto:macosx-tex@email.esm.psu.edu" target="_blank">macosx-tex@email.esm.psu.edu</a>><br>
Subject: Re: [OS X TeX] Latex symbol for "define equal"<br>
Message-ID: <<a href="mailto:774832C8-3EEC-4690-A783-37D99E269CD1@cs.umu.se" target="_blank">774832C8-3EEC-4690-A783-37D99E269CD1@cs.umu.se</a>><br>
Content-Type: text/plain; charset="utf-8"<br>
<br>
Regarding the difference between a theorem and a definition: In the words of my thesis advisor: You cannot argue with a definition. (It should be said with a french accent!) A definition can be nice, practical, useful, or impractical, unnecessary, confusing, and so on, but it cannot be true or false. A theorem, however, is true.<br>
<br>
Cheers,<br>
<br>
> On 21 Aug 2018, at 14:48, Markus Klyver <<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a>> wrote:<br>
> <br>
> Depends, literature tends to use the definitions interchangeably depending on what aspect is important to subject.<br>
> <br>
> <br>
> Fr?n: MacOSX-TeX <<a href="mailto:macosx-tex-bounces@email.esm.psu.edu" target="_blank">macosx-tex-bounces@email.esm.psu.edu</a> <mailto:<a href="mailto:macosx-tex-bounces@email.esm.psu.edu" target="_blank">macosx-tex-bounces@email.esm.psu.edu</a>>> f?r Martin Berggren <<a href="mailto:martin.berggren@cs.umu.se" target="_blank">martin.berggren@cs.umu.se</a> <mailto:<a href="mailto:martin.berggren@cs.umu.se" target="_blank">martin.berggren@cs.umu.se</a>>><br>
> Skickat: den 21 augusti 2018 13:59<br>
> Till: TeX on Mac OS X Mailing List<br>
> ?mne: Re: [OS X TeX] Latex symbol for "define equal"<br>
>  <br>
> <br>
>> On 21 Aug 2018, at 13:47, Markus Klyver <<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a> <mailto:<a href="mailto:markusklyver@hotmail.com" target="_blank">markusklyver@hotmail.com</a>>> wrote:<br>
>> <br>
>> 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". It turns out that this is equivalent to a lot of things, among det(A) !=0, A having full rang, A having n linearindependent eigenvectors, Ax=0 only having the trivial solution, Ax=b having a solution (which is unique) for every right-hand-side b, etc.<br>
> <br>
> I would save that this is a theorem, not a definition. I think of a definition as a ?macro?; that is,  giving a short name to a mathematical property. Example: a matrix A is called positive semidefinite when x^T Ax \geq 0 for all vectors x. The point is that you in each instances when the name is used, it can be replaced by its definition. <br>
> <br>
<br>
Martin Berggren<br>
-------------------------------------------------------------------<br>
Department of Computing Science, <br>
UMIT Research Lab<br>
Ume? Universitet<br>
Campustorget 5, S-901 87 Ume?, Sweden. Ph: +46-70-732 8111<br>
<a href="http://www.cs.umu.se/~martinb" rel="noreferrer" target="_blank">http://www.cs.umu.se/~martinb</a> <<a href="http://www.cs.umu.se/~martinb" rel="noreferrer" target="_blank">http://www.cs.umu.se/~martinb</a>>, <a href="mailto:Martin.Berggren@cs.umu.se" target="_blank">Martin.Berggren@cs.umu.se</a> <mailto:<a href="mailto:Martin.Berggren@cs.umu.se" target="_blank">Martin.Berggren@cs.umu.se</a>><br>
<br>
-------------- next part --------------<br>
An HTML attachment was scrubbed...<br>
URL: <<a href="https://email.esm.psu.edu/pipermail/macosx-tex/attachments/20180821/d1b74865/attachment-0001.html" rel="noreferrer" target="_blank">https://email.esm.psu.edu/pipermail/macosx-tex/attachments/20180821/d1b74865/attachment-0001.html</a>><br>
<br>
------------------------------<br>
<br>
Subject: Digest Footer<br>
<br>
<br>
-------------------------- Helpful Info --------------------------<br>
TeX FAQ: <a href="http://www.tex.ac.uk/faq" rel="noreferrer" target="_blank">http://www.tex.ac.uk/faq</a><br>
List Reminders and Etiquette: <a href="https://email.esm.psu.edu/mac-tex/" rel="noreferrer" target="_blank">https://email.esm.psu.edu/mac-tex/</a><br>
List Info: <a href="https://email.esm.psu.edu/mailman/listinfo/macosx-tex" rel="noreferrer" target="_blank">https://email.esm.psu.edu/mailman/listinfo/macosx-tex</a><br>
List Archive: <a href="http://tug.org/pipermail/macostex-archives/" rel="noreferrer" target="_blank">http://tug.org/pipermail/macostex-archives/</a><br>
TeX on Mac OS X Website: <a href="http://mactex-wiki.tug.org/" rel="noreferrer" target="_blank">http://mactex-wiki.tug.org/</a><br>
<br>
<br>
<br>
------------------------------<br>
<br>
End of MacOSX-TeX Digest, Vol 130, Issue 13<br>
*******************************************<br>
</blockquote></div>