11.5.16.
❘p        ❘(a,a)
Es gibt eben auch Operationen
mit zwei Basen. Und die ‘ ∣ ’-Operation ist von dieser Art.