\v=17
\v~=один царь Таппуаха, один царь Хефера. 
\¬v