∣ ✢  
5˙24
Die Operation ˇzeigt sich in ist einer Variablen; sie zeigt, wie man von einer Form von Sätzen zu einer anderen gelangen kann.
Sie bringt den Unterschied der Formen zum Ausdruck. (Und das Gemeinsame zwischen den Basen und dem Resultat der Operation sind eben die Basen.)