huxley test for \not