\v=12
\v~=[Ego Ecclesiastes fui rex Israël in Jerusalem; 
\¬v