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.