<div dir="auto"><div><br><br><div class="gmail_quote"><div dir="ltr">On Thu, May 24, 2018, 14:48 Alexander Belopolsky <<a href="mailto:alexander.belopolsky@gmail.com" rel="noreferrer noreferrer" target="_blank">alexander.belopolsky@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr">On Thu, May 24, 2018 at 4:59 PM Matt Arcidy <<a href="mailto:marcidy@gmail.com" rel="noreferrer noreferrer noreferrer" target="_blank">marcidy@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="auto"><div><br><br><div class="gmail_quote"><div dir="ltr">On Thu, May 24, 2018, 11:47 Alexander Belopolsky <<a href="mailto:alexander.belopolsky@gmail.com" rel="noreferrer noreferrer noreferrer noreferrer" target="_blank">alexander.belopolsky@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="ltr">> But I do have a mathematics background, and I don't remember ever seeing <br>> "for x = value" used in the sense you mean.<br><br><div>That's so because in mathematics, "for" is spelled ":" as in</div><div><br></div><div><span style="font-size:14px;font-variant-ligatures:normal"> </span><span class="m_2929691693157390058m_-4665872470915557284m_4282210326901409687gmail-m_2148650649142585338m_-3669031509620252955m_-7918455835356292325gmail-texhtml" style="font-feature-settings:'lnum' 1,'tnum' 1,'kern' 0;font-variant-numeric:lining-nums tabular-nums;font-family:"Nimbus Roman No9 L","Times New Roman",Times,serif;font-size:16.52px;line-height:1;white-space:nowrap;font-variant-ligatures:normal">{2<i>a</i> : <i>a</i>∈<b>Z</b>}</span><br></div><div><span class="m_2929691693157390058m_-4665872470915557284m_4282210326901409687gmail-m_2148650649142585338m_-3669031509620252955m_-7918455835356292325gmail-texhtml" style="font-feature-settings:'lnum' 1,'tnum' 1,'kern' 0;font-variant-numeric:lining-nums tabular-nums;font-family:"Nimbus Roman No9 L","Times New Roman",Times,serif;font-size:16.52px;line-height:1;white-space:nowrap;font-variant-ligatures:normal"><br></span></div><div><span>If you can read the above, you should not have trouble reading</span><br></div><div><span class="m_2929691693157390058m_-4665872470915557284m_4282210326901409687gmail-m_2148650649142585338m_-3669031509620252955m_-7918455835356292325gmail-texhtml" style="font-feature-settings:'lnum' 1,'tnum' 1,'kern' 0;font-variant-numeric:lining-nums tabular-nums;font-family:"Nimbus Roman No9 L","Times New Roman",Times,serif;font-size:16.52px;line-height:1;white-space:nowrap;font-variant-ligatures:normal"><span style="font-family:sans-serif;font-size:13px;white-space:normal"><br></span></span></div><div><span class="m_2929691693157390058m_-4665872470915557284m_4282210326901409687gmail-m_2148650649142585338m_-3669031509620252955m_-7918455835356292325gmail-texhtml" style="font-feature-settings:'lnum' 1,'tnum' 1,'kern' 0;font-variant-numeric:lining-nums tabular-nums;font-family:"Nimbus Roman No9 L","Times New Roman",Times,serif;font-size:16.52px;line-height:1;white-space:nowrap;font-variant-ligatures:normal"><span style="font-family:sans-serif;white-space:normal;font-size:14px;font-variant-ligatures:normal"> </span><span class="m_2929691693157390058m_-4665872470915557284m_4282210326901409687gmail-m_2148650649142585338m_-3669031509620252955m_-7918455835356292325gmail-texhtml" style="font-feature-settings:'lnum' 1,'tnum' 1,'kern' 0;font-variant-numeric:lining-nums tabular-nums;font-size:16.52px;line-height:1;font-variant-ligatures:normal">{2<i>a</i> + <i>b</i> : <i>a</i>∈<b>Z </b>:<b> </b><i>b = </i>1}</span></span></div></div></blockquote></div></div><div dir="auto"><br></div><div dir="auto">Inverted "A" is "for all", and colon means "such that".  It may be acceptable somewhere to use a colon as you do, </div></div></blockquote><div><br></div><div><font face="arial, helvetica, sans-serif" size="2">See <<a href="https://en.wikipedia.org/wiki/Set_notation" rel="noreferrer noreferrer noreferrer" target="_blank">https://en.wikipedia.org/wiki/Set_notation</a>>.  Also, "[<span style="color:rgb(85,85,85)">list comprehensions</span><span style="color:rgb(85,85,85)">]</span><span style="color:rgb(85,85,85)"> </span><span style="color:rgb(85,85,85)">is Python's way of implementing a well-known notation for sets as used by mathematicians." <</span></font><a href="https://www.python-course.eu/list_comprehension.php" rel="noreferrer noreferrer noreferrer" target="_blank">https://www.python-course.eu/list_comprehension.php</a><span><font color="#555555" face="arial, helvetica, sans-serif" size="2">>.  Although, the latter uses "|" instead <span>of ":".</span></font></span></div></div></div></blockquote></div></div><div dir="auto"><br></div><div dir="auto">My point was more along the lines of math doesn't use ":" for "for".  "for" exists in math as a different symbol. Even in set builder notation ":" isn't interpretted as "for", it's "such that."</div><div dir="auto"><br></div><div dir="auto"><span style="font-family:sans-serif">Maybe the math discussion is totally tangential.  I'm not clear why I'm making these points really, apologies if I took this off course, I'm happy to concede the math and just keep my other points.  I don't think "for" is bad compared to some other alternatives, but I don't see it better than ":=" in the contexts you've raised.  Even in the implementation of set building, "for" is only used to build the sets element wise, not as a partitioning, and is not a property if the set itself.</span><br></div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto">Thanks,</div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
</blockquote></div></div></div>