\v=2
\v~=He commanded seventy thousand men to carry the building supplies and eighty thousand men to cut stones from quarries in the hills. He also chose 3,600 men to supervise them.
\¬v
\¬p