Como sistema de numeración formula_1, el inventario de signos es formula_2 y el conjunto de reglas formula_3 podría especificarse como: