You do realize that all 3 checks mean the same thing ("§" == "\u00A7-" == "\u00a7-")? Only thing that's really different is the notation. I'd use the hex notation though, simply because the file doesn't have to be UTF-8 to get the correct symbol (because of an invalid encoding it's actually "�-").