hylotab-1.2.0: examples/unsat/form02.frm

begin
   (@ n1 <>[-]-n1)
 v (@ n1 <->[]-n1)
end