Diskussion:Jota-Operator

Korrekte Darstellung

Gibt es nicht eine schönere Möglichkeit als \mathi, den Kennzeichnungsoperator darzustellen? In Unicode ist die Glyphe definiert unter U+2129 TURNED GREEK SMALL LETTER IOTA (℩), die aber leider einen LaTeX-Parse-Fehler erzeugt. Auch der herkömmliche Workaround

{\mathrm{\rotatebox[origin=c]{180}{$\iotaup$}}

funktioniert nicht, weil dafür das graphicx-Paket nötig wäre. --Brian Ammon (Diskussion) 17:41, 2. Mai 2012 (CEST)

Anmerkung

Das findet nicht nur in philosophischer Logik Anwendung, sondern findet sich etwa bei Russel und Whiteheads Typentheorie (Principia 1, S. 69 ff) und in Oberschelps Klassenlogik. Wäre gut, wenn der Artikel das irgendwann mal aufgreifen würde. Ich lass es jetzt aber erstmal so stehen, weil ich nicht viel zu sagen kann. Zu sagen es ist auch mathematisch und dann nur vom Philosophischen zu sprechen, ist irreführend. --Chricho ¹ ² ³ 03:31, 8. Aug. 2012 (CEST)