\p \c#=40 \v=1 \v~=... \¬v