This is LaTeX code:
[latex]
(\forall p,q,r\in S)\quad f_S(p,q)=f_S(p,r)+f_S(r,q)
[/latex]