\v=13
\v~=один царь Давира, один царь Гадера, 
\¬v