\v=16 \v~=Then thought I to know this, but it was too painefull for me, \¬v