Es decir, el símbolo "formula_4", una versión de la letra griega formula_5 (épsilon), lo usaremos para representar la relación de pertenencia.