This is LaTeX code:
[latex]
(\exists \mathrm{student} \in \mathrm{GRUPA}) (kg(\mathrm{student}) \leq 100)
[/latex]