<<< 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") ] >>> typst not (p and q) arrow.l.r.double (not p) or (not q) overline(union.big_(i = 1)^n A_i) = sect.big_(i = 1)^n overline(A_i)