Su notación fue similar a la notación matemática moderna y usaba "metarreglas", transformaciones lineales y recursiones.