\v=4
\v~=Judas, who was called Maccabaeus; 
\¬v