not.adl
 1  
 2  !x
 3  !x()
 4  !!x
 5  
 6  
 7  !-x.not()
 8  x.not().not().not()
 9  -x.not()
10  (-x).not()
11  -(x.not())
12  (-x.not()).not()
13  !x.not()
14  (!x).not()
15  !(x.not())
16  (!x.not()).not()