@@ -3120,19 +3120,15 @@ SELECT NOT(ROW(table.*) IS NOT NULL) FROM TABLE; -- detect at least one null in
31203120 <para>
31213121 Performs case folding of the input string according to the collation.
31223122 Case folding is similar to case conversion, but the purpose of case
3123- folding is to facilitate case-insensitivecomparison of strings,
3123+ folding is to facilitate case-insensitivematching of strings,
31243124 whereas the purpose of case conversion is to convert to a particular
31253125 cased form. This function can only be used when the server encoding
31263126 is <literal>UTF8</literal>.
31273127 </para>
31283128 <para>
3129- Ordinarily, case folding simply converts to lowercase, but there are a
3130- few notable exceptions depending on the collation. For instance, the
3131- character <literal>Σ</literal> (U+03A3) has two lowercase forms:
3132- <literal>σ</literal> (U+03C3) and <literal>ς</literal> (U+03C2); case
3133- folding in the <literal>PG_C_UTF8</literal> collation maps all three
3134- forms to <literal>σ</literal>. Additionally, the result is not
3135- necessarily lowercase; some characters may be folded to uppercase.
3129+ Ordinarily, case folding simply converts to lowercase, but there may
3130+ be exceptions depending on the collation. For instance, some
3131+ characters have more than two lowercase variants, or fold to uppercase.
31363132 </para>
31373133 <para>
31383134 Case folding may change the length of the string. For instance, in