Notazione logica predicata: cosa significa un "punto"?

Question

Cosa significa un punto (.) Nei predicati?

$ forall a in A. esiste d in D. H (a, d) $

Soprattutto, come è diverso da diverso da

$ esiste d in D. forall a in A. H (a, d) $

Non l'ho mai visto usato negli script di lezioni tedeschi.