Klammerfreie Schreibweise für Formeln/Ausdrücke in der Informatik/mathematischen Logik. Der Operator wird vor seinen Operanden geschrieben.