Großer Operator mit drei senkrechten Strichen

Es verschränkt eine ganze Familie auf einmal, wie ein großes Σ.

Das kleine ⫴ stammt aus Prozessnotationen wie CSP (Communicating Sequential Processes, Tony Hoares Sprache für gleichzeitig laufende Programme). Dort bedeutet P ||| Q zwei Prozesse, die unabhängig laufen, ohne aufeinander zu warten. ⫼ ist die große, n-stellige Form: Mit einem Index darunter, etwa i ∈ I, und gefolgt von Pᵢ heißt es, alle Pᵢ verschränkt auszuführen. Es verhält sich zu ⫴ wie Σ zu + und ⋃ zu ∪.

Im Formelsatz wächst es in abgesetzten Formeln und trägt den Index darunter oder daneben. Als einfacher Text ist es ein Zeichen fester Größe, und viele Schriften enthalten es nicht.

Ist ⫼ dasselbe wie |||?

Nein: ||| sind drei einzelne Pipe-Zeichen.

Viele Arbeiten und Notizen schreiben Interleaving mit drei Tastatur-Pipes, was informell genügt. ⫼ ist ein einziges Zeichen, gezeichnet und gesetzt wie ein großer Operator; eine Suche nach dem einen findet das andere nicht. Auch ⦀ ist kein Ersatz: Es ist ein Begrenzer, der Inhalt einschließt wie eine Klammer.