\v=31
\v~=Vingt mille cinq cents furent tués, à côté de six cents cavaliers. 
\¬v
\¬p