This is LaTeX code:

[latex]

| \bigcup A_i |<0

[/latex]