\v=17
\v~=The Moses and Aaron tooke these men which are expressed by their names. 
\¬v