En su lugar, la simbología formula_50 se emplea simplemente para representar la fórmula formula_51 del lenguaje de la teoría de conjuntos.