Re: [HACKERS] Patch: iff -> if

2014-04-18 Thread Albe Laurenz
Nicolas Barbier wrote: > 2014-04-17 Michael Paquier : >> Is there no equivalent in German? For example in French there is "ssi". > > gdw (genau dann, wenn) Sorry, but I as a German native speaker and mathematitian have never encountered this abbreviation. I am familiar with "iff" though. I thin

Re: [HACKERS] Patch: iff -> if

2014-04-17 Thread Andreas 'ads' Scherbaum
On 04/17/2014 12:33 PM, Nicolas Barbier wrote: 2014-04-17 Michael Paquier : Is there no equivalent in German? For example in French there is "ssi". gdw (genau dann, wenn) More likely that you see \equiv or: \leftrightarrow Regards, -- Andreas 'ads' Sc

Re: [HACKERS] Patch: iff -> if

2014-04-17 Thread Nicolas Barbier
2014-04-17 Michael Paquier : > Is there no equivalent in German? For example in French there is "ssi". gdw (genau dann, wenn) Nicolas -- A. Because it breaks the logical sequence of discussion. Q. Why is top posting bad? -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org)

Re: [HACKERS] Patch: iff -> if

2014-04-16 Thread Michael Paquier
On Wed, Apr 16, 2014 at 6:12 PM, Andreas 'ads' Scherbaum wrote: > On 04/16/2014 12:19 AM, Andreas 'ads' Scherbaum wrote: >> >> >> stumbled over a number of "iff" in the source where "if" is meant - not >> sure what the real story behind this is, but attached is a patch to fix >> the about 80 occur

Re: [HACKERS] Patch: iff -> if

2014-04-16 Thread Andreas 'ads' Scherbaum
On 04/16/2014 12:19 AM, Andreas 'ads' Scherbaum wrote: stumbled over a number of "iff" in the source where "if" is meant - not sure what the real story behind this is, but attached is a patch to fix the about 80 occurrences. Looks like I missed something in my math lessons ... --

Re: [HACKERS] Patch: iff -> if

2014-04-15 Thread David G Johnston
Thom Brown-2 wrote > On 15 April 2014 23:19, Andreas 'ads' Scherbaum < > adsmail@ > > wrote: >> >> Hi, >> >> stumbled over a number of "iff" in the source where "if" is meant - not >> sure >> what the real story behind this is, but attached is a patch to fix the >> about >> 80 occurrences. >> >>

Re: [HACKERS] Patch: iff -> if

2014-04-15 Thread Christopher Browne
On Tue, Apr 15, 2014 at 6:19 PM, Andreas 'ads' Scherbaum < adsm...@wars-nicht.de> wrote: > > Hi, > > stumbled over a number of "iff" in the source where "if" is meant - not > sure what the real story behind this is, but attached is a patch to fix the > about 80 occurrences. > > "IFF" is a common i

Re: [HACKERS] Patch: iff -> if

2014-04-15 Thread Tom Lane
Steve Crawford writes: > On 04/15/2014 05:36 PM, Andrew Dunstan wrote: >> On 04/15/2014 06:26 PM, Thom Brown wrote: >>> Yeah, apparently those are intentional, and mean "if and only if" >> This is a reasonably common idiom, or used to be. > If it has fallen into disuse the news has failed to re

Re: [HACKERS] Patch: iff -> if

2014-04-15 Thread Steve Crawford
On 04/15/2014 05:36 PM, Andrew Dunstan wrote: On 04/15/2014 06:26 PM, Thom Brown wrote: On 15 April 2014 23:19, Andreas 'ads' Scherbaum wrote: Hi, stumbled over a number of "iff" in the source where "if" is meant - not sure what the real story behind this is, but attached is a patch to fix

Re: [HACKERS] Patch: iff -> if

2014-04-15 Thread Andrew Dunstan
On 04/15/2014 06:26 PM, Thom Brown wrote: On 15 April 2014 23:19, Andreas 'ads' Scherbaum wrote: Hi, stumbled over a number of "iff" in the source where "if" is meant - not sure what the real story behind this is, but attached is a patch to fix the about 80 occurrences. This only appears in

Re: [HACKERS] Patch: iff -> if

2014-04-15 Thread Thom Brown
On 15 April 2014 23:19, Andreas 'ads' Scherbaum wrote: > > Hi, > > stumbled over a number of "iff" in the source where "if" is meant - not sure > what the real story behind this is, but attached is a patch to fix the about > 80 occurrences. > > This only appears in comments, not in any code path.