Template:Individual-TLP-paragraph-en-5.52

5.52 If the values of ξ are the total values of a function fx for all values of x, then $N({\bar {\xi }})$ = ~(∃x) . fx.