\v=9
\v~=Nicodemus answered and said to him, How can these things be? 
\¬v