El conjunto formula_3, que es el conjunto de pesos (positivos) de los símbolos (normalmente proporcionales a probabilidades), es decir formula_4.