<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body bgcolor="#FFFFFF">
<div>Hi all.</div>
<div><br>
</div>
<div>I agree with using "when", or better "precisely when", in definitions.</div>
<div>Do not use these words in theorems. There are many alternative ways to express what you want.</div>
<div><br>
</div>
<div>But didn't this thread start out asking for a symbolic notation?</div>
<div>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.</div>
<div><br>
</div>
<div>There are nuances in mathematical concepts and notations that are not always correctly appreciated by those who work primarily in other (mostly applied) fields.</div>
<div><br>
</div>
<div><br>
On 21/08/2018, at 13:03, "Markus Klyver" <<a href="mailto:markusklyver@hotmail.com">markusklyver@hotmail.com</a>> wrote:<br>
<br>
</div>
<div></div>
<blockquote type="cite">
<div>
<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">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?</p>
<br>
<br>
<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 <<a href="mailto:macosx-tex-bounces@email.esm.psu.edu">macosx-tex-bounces@email.esm.psu.edu</a>> för Josep Maria Font <<a href="mailto:jmfont@ub.edu">jmfont@ub.edu</a>><br>
<b>Skickat:</b> den 21 augusti 2018 12:15<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>
<div class="BodyFragment"><font size="2"><span style="font-size:11pt;">
<div class="PlainText">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>
</div>
</span></font></div>
</div>
</div>
</div>
</blockquote>
<br>
<div><br>
</div>
<div>Cheers,</div>
<div><br>
</div>
<div>   Ross</div>
</body>
</html>