<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="gmail-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="gmail-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 style="orphans: 2; widows: 2;">If you can read the above, you should not have trouble reading</span><br></div><div><span class="gmail-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="gmail-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="gmail-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 style="font-family:sans-serif;font-size:13px;white-space:normal"><br></span></span></div></div>