Rautenoperator

Zeichen und Codes zum Kopieren

Weitere Mathematik

Beschreibung

Der Rautenoperator (⋄) ist eine kleine Raute, die auf mittlerer Zeilenhöhe zwischen zwei Größen steht. Er bezeichnet in der Mathematik eine frei erklärte Verknüpfung – wo kein vorhandenes Rechenzeichen passt, führt man eines ein und erklärt es. In der Modallogik meint dieselbe Form die Möglichkeit einer Aussage, in der Informatik einen Platzhalter. Die Höhe ist entscheidend: sie stellt ihn auf eine Linie mit Plus und Malpunkt. ◊ und ◇ sind Rauten der Form nach und sitzen auf der Grundlinie. ⋆ ist der Sternoperator derselben Reihe.