\v=17
\v~=naye akapewa kitabu cha nabii Isaya, akakifungua na kukuta mahali palipoandikwa:
\¬v
\¬p