\v=7
\v~=Alipofahamu kwamba Yesu alikuwa chini ya mamlaka ya Herode, akampeleka kwa Herode, ambaye wakati huo alikuwa pia Yerusalemu.
\¬v
\¬p