Hallo allerseits,
auch ich möchte nochmal Aleχander Dank für seine Anregung sagen. Da sind
wirklich ein paar sehr schöne dabei, wie etwa die …
1. Doppelt gestrichene Buchstaben:
Es sind über Neo zwar die häufigsten Mengenbuchstaben ℂℚℕℝℤ verfügbar
… aber viele andere in der Mathematik Gebräuchliche leider nicht.
Da es in Unicode alle lateinischen Buchstaben als doppelt gestrichene
verfügbar sind, wollte ich einen allgemeinen Mechanismus vorschlagen,
um diese einzugeben:
♫|<Buchstabe> soll den doppelt gestrichenen Buchstaben erzeugen.
Also ich bin sehr dafür! @Pascal: Wenn Dein einziges Gegenarbeit in dem
Arbeitsaufwand besteht, wäre ich auch gerne bereit hier mitzuhelfen.
Aber wir sollten hier keine willkürliche Vorauswahl treffen und
beispielsweise nur die Großbuchstaben aufnehmen; ♫|1 wäre beispielsweise
bei einem Text über das Lebesgue-Integral sehr nützlich. Aber das dürfte
wohl auf so ziemlich alle Cokos aus diesem Bereich zutreffen: 98%
brauchen sie niemals, aber 2% einige davon sehr häufig. Wobei sich die
2% auch noch auf unterschiedliche Zeichen aufteilen dürften.
Unicode definiert diese auch für ⦃⦄ und ⦅⦆. Diese könnten dann analog
eingegeben werden, wobei man in Erwägung ziehen sollte, auch ♫[[ → ⟦,
etc zuzulassen, weil diese etwas einfacher einzugeben sind.
Auch hier plädiere ich für eine Aufnahme! Das Überschreiben von
Standardcokos sollte zwar möglichst vermieden werden, aber in diesem
Fall scheint mir ♫((=⦅, … die natürlichste Wahl zu sein. Und ♫((={ ist
für einen Neo-Nutzer nun wirklich vollkommen unnötig. Aber alternativ
würde ich mit der vorgeschlagenen Variante ♫|(=⦅ (analog zu den
Mengensymbolen, oder \mathbb für die LaTeXer unter uns) auch gut leben
können.
In der Logik werden weiterhin folgende Zeichen gebraucht: ⊢⊣⊨⊬⊭⊤. Diese sind
auch über den Strich definierbar:
♫|-→⊢, ♫-|→⊣, ♫|= → ⊨, analog mit dead stroke: ⊬, ⊭, ♫∡⊥→⊤ oder ¯| → ⊤ (mit
dead macron)
Gute Idee, in der theoretischen Informatik sieht man solche Modell-Zeichen auch
ziemlich häufig.
Viele Grüße,
Dennis-ſ
