Template:Individual-TLP-paragraph-en-4.24
4.24 The names are the simple symbols, I indicate them by single letters (x, y, z).
The elementary proposition I write as function of the names, in the form “fx”, “ϕ(x, y)”, etc.
Or I indicate it by the letters p, q, r.