[4] toNFKC_Casefold(X) は、大文字と小文字を区別しない識別子の一致に使われることを想定した
>>1 case folding です。これを用いた比較を識別子無case一致といいます。
[2] 文字列に対する演算 toNFKC_Casefold(X) は、各文字を
NFKC_Casefold の値に変換してから NFC を適用するものです >>1。
[3] 文字の NFKC_Casefold (略称 NFKC_CF)
は Unicode Character Database の DerivedNormalizationProps.txt に含まれています >>1。
[7] 識別子無case一致とは、2つの文字列の比較演算であり、
両者の toNFKC_Casefold(X) の結果が等しいことをいいます >>6。
[5] これは既定Case Folding をベースに、 NFKC で等しいものが等しいと判断されるようになっており、
また Default_Ignorable_Code_Point が真の文字は無視されるようになっています >>1。