Alonzo Church mentiona iste notation in su libro classic super logica mathematic como relevante in systemas de notation mesmo contrastate a exposition logic de notation de Whitehead e Russell e obra in Principia Mathematica.