deMorgans_law.test

<<< tex
  \neg(p\wedge q)\iff(\neg p)\vee(\neg q)
  \overline{\bigcup_{i=1}^{n} A_{i}}=\bigcap_{i=1}^{n} \overline{A_{i}}

>>> native
[ ESymbol Op "\172"
, EDelimited
    "("
    ")"
    [ Right (EIdentifier "p")
    , Right (ESymbol Bin "\8743")
    , Right (EIdentifier "q")
    ]
, ESymbol Rel "\8660"
, EDelimited
    "(" ")" [ Right (ESymbol Op "\172") , Right (EIdentifier "p") ]
, ESymbol Bin "\8744"
, EDelimited
    "(" ")" [ Right (ESymbol Op "\172") , Right (EIdentifier "q") ]
, EOver
    False
    (EGrouped
       [ EUnderover
           True
           (ESymbol Op "\8899")
           (EGrouped [ EIdentifier "i" , ESymbol Rel "=" , ENumber "1" ])
           (EIdentifier "n")
       , ESub (EIdentifier "A") (EIdentifier "i")
       ])
    (ESymbol TOver "\175")
, ESymbol Rel "="
, EUnderover
    True
    (ESymbol Op "\8898")
    (EGrouped [ EIdentifier "i" , ESymbol Rel "=" , ENumber "1" ])
    (EIdentifier "n")
, EOver
    False
    (ESub (EIdentifier "A") (EIdentifier "i"))
    (ESymbol TOver "\175")
]