This is LaTeX code:
[latex]
\displaystyle Int A~\underline{:=}~\bigcup_{U\subseteq A,~U\textrm{~otvoren~}} U
[/latex]