\v=17
\v~=the tenth Semeia, his sons and his brethren, twelve: 
\¬v