[OS X TeX] Latex symbol for "define equal"

[Markus Klyver]

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:


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".


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.


________________________________
Från: MacOSX-TeX <macosx-tex-bounces at email.esm.psu.edu> för juan tolosa <juantolo at me.com>
Skickat: den 21 augusti 2018 05:40
Till: TeX on Mac OS X Mailing List
Ämne: Re: [OS X TeX] Latex symbol for "define equal"

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

 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.)

(Is it my impression, or there is a growing number of such texts? And when did this nonsense begin?)

One could simply agree that the “if” in definitions is not the same as the “if” in logical statements.
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,
by “(a_n) converges to p” we mean … (etc)
Or simply not use “if” at all in definitions.
What is even more annoying is that when the definition gets really involved, the “if and only if” makes it even worse.
And, invariably, in a really involved definition you will find that the author(s) abandon their own fastidiousness and just use “if.”
Question is, why not do it from the very beginning?

Juan

> On Aug 20, 2018, at 7:56 PM, Markus Klyver <markusklyver at hotmail.com> wrote:
>
> 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.
> ----------- Please Consult the Following Before Posting -----------
> TeX FAQ: http://www.tex.ac.uk/faq
> List Reminders and Etiquette: https://sites.esm.psu.edu/~gray/tex/
> List Archives: http://dir.gmane.org/gmane.comp.tex.macosx
>                https://email.esm.psu.edu/pipermail/macosx-tex/
> TeX on Mac OS X Website: http://mactex-wiki.tug.org/
> List Info: https://email.esm.psu.edu/mailman/listinfo/macosx-tex

----------- Please Consult the Following Before Posting -----------
TeX FAQ: http://www.tex.ac.uk/faq
List Reminders and Etiquette: https://sites.esm.psu.edu/~gray/tex/
List Archives: http://dir.gmane.org/gmane.comp.tex.macosx
                https://email.esm.psu.edu/pipermail/macosx-tex/
TeX on Mac OS X Website: http://mactex-wiki.tug.org/
List Info: https://email.esm.psu.edu/mailman/listinfo/macosx-tex
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://email.esm.psu.edu/pipermail/macosx-tex/attachments/20180821/b89389e9/attachment.html>