ich lerne jetzt über Prädikatenlogik und plötzlich kommt eine Formel.

ich habe noch nicht "df" gesehen, deswegen weiß ich es.

df ist klein und ein bisschen unten.