HTab-1.6.1: examples/sat/test29.frm

begin
A[](([]!p1) v (<>p1));
n1:<><>p1
end