deMorgans_law.test

<<< 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")
]
>>> eqn
\[u00AC] left ( p \[u2227] q right ) \[u21D4] left ( \[u00AC] p right ) \[u2228] left ( \[u00AC] q right ) {inter from {i = 1} to n A sub i} to \[u00AF] = union from {i = 1} to n {A sub i} to \[u00AF]