Utilicé esa notación por primera vez en mi artículo Lukasiewicz(1), P.