\v=4
\v~=Our Redeemer, Jehovah of hosts is his name, The Holy One of Israel. 
\¬v