Some parts of OurBigBook use "JavaScript case conversion".
This means that the conversion is done as if by the
toLowerCase
/toUpperCase
functions.The most important fact about those functions is that they do convert non-ASCII Unicode capitalization, e.g. between
É
and é
:These conversions are also specified in the Unicode standard.