((p "Values of this type are just a sequence of character, but not an empty sequence.") (h2 (@ (id . "allowed-values")) "Allowed values") (p "All printable characters are allowed." " " "There must be at least one such character.") (h2 (@ (id . "query-comparison")) "Query comparison") (p "All comparisons are done case-insensitive, i.e. " (@L (@H "“") "hell" (@H "”")) " will be the prefix of " (@L (@H "“") "Hello" (@H "”")) ".") (h2 (@ (id . "sorting")) "Sorting") (p "To sort two values, the underlying encoding is used to determine which value is less than the other.") (p "Uppercase letters are typically interpreted as less than their corresponding lowercase letters, i.e. " (code "A < a") ".") (p "Comparison is done character-wise by finding the first difference in the respective character sequence." " " "For example, " (code "abc > aBc") "."))