\q1
\v=20
\v~=Hæc porta Domini: justi intrabunt in eam. 
\¬v
\¬q1