U+22AC DOES NOT PROVE