# style=uc1: union + complement

ineq=A u -B,\
 -A u B,\
 A u -C,\
 -A u C,\
 B u -C,\
 -B u C

tex1=!instexstatic $$ A \cup \overline{B} $$
tex2=!instexstatic $$ \overline{A} \cup B $$
tex3=!instexstatic $$ A \cup \overline{C} $$
tex4=!instexstatic $$ \overline{A} \cup C $$
tex5=!instexstatic $$ B \cup \overline{C} $$
tex6=!instexstatic $$ \overline{B} \cup C $$

