Hallo, ich habe mir noch einige Gedanken gemacht bezüglich nützlicher mathematischer Zeichen, die ich gerne über Neo mit Hilfe von Cokos eingeben können würde:
1. Doppelt gestrichene Buchstaben: Es sind über Neo zwar die häufigsten Mengenbuchstaben ℂℚℕℝℤ verfügbar, jedoch werden in mathematischen Texten auch häufig die Zeichen ℍ für Quaternionen, ℙ für die Menge der Primzahlen, 𝔽₂ für den Körper mit zwei Elementen, und z.B. 𝟙 für die charakteristische Funktion verwendet. 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. Damit kann man dann �–ℤ, 𝕒–�, �,𝟙–𝟡, sowie als Ausnahme auch ℿℼℾℽ (Pi und Gamma – keine Ahnung wieso es gerade die doppelt gestrichen gibt) eingeben. Dies ist für keinen Buchstaben bereits definiert, außer c und v, denn ♫|c → ¢, ♫|v → ↓. Hier könnte man überlegen, diese zu ersetzen, da ♫c| auch definiert ist und ♫v| auch den Pfeil erzeugen könnte. Des weiteren benötigt man für den Ring der formalen Potenzreihen über R – mit R⟦X⟧ bezeichnet um ihm vom Polynomring R[X] zu unterscheiden – die doppelt gestrichenen Klammern. 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. 2. Normalteiler: Diese sind für Algebraiker nützlich und schließen sich der obigen Logik an, wenn man das Symbol als doppelt gestrichenes <> deutet. ♫|< → ⊲, ♫|> → ⊳, ♫=|> → ⊵, ♫=|< → ⊴, ̷⊲ → ⋪, analog: ⋫⋬⋭ 3. Weitere Zeichen mit Strich: Da sich das Zeichen ∥ für Normen nicht eignet, weil es typografisch als binärer Operator aufgefasst wird und eben auch eine andere Semantik hat, empfehle ich die Coko für den doppelten Norm-Strich: ♫|| → ‖, damit kann man dann allgemeine, z.B. Operatornormen eingeben: ‖A‖ ≔ supₓ ‖Ax‖/‖x‖. Da die Relation „a teilt b“ nur über den Ziffernblock einzugeben ist und dieser für Laptopnutzer wie mich nicht zur Verfügung steht, empfehle ich analog zu obiger Definition ♫|<space> → ∣. In der Logik werden weiterhin folgende Zeichen gebraucht: ⊢⊣⊨⊬⊭⊤. Diese sind auch über den Strich definierbar: ♫|-→⊢, ♫-|→⊣, ♫|= → ⊨, analog mit dead stroke: ⊬, ⊭, ♫∡⊥→⊤ oder ¯| → ⊤ (mit dead macron) Ab und an benötigt man auch das Koprodukt, für das ich mir diese Coko ausgedacht habe: ♫|_| → ∐ (das ist ein umgedrehtes großes Pi) 4. Negation: Einige Zeichen sind noch nicht mit dem dead stroke negierbar, so z.B. ⇍⇎⇏, ≉≢ und ⊈⊉, wobei man hier vielleicht auch mit ♫≠⊂ die Zeichen ⊊, bzw. ⊋ verfügbar machen sollte, da diese auch ab und an vorkommen. 5. Ein paar Operationen: Für eine allgemeine Verknüpfung verwendet man häufig den Asterix-Operator ∗, dieser könnte mit ♫** → ∗ oder ♫_* erstellt werden (Bsp: a∗b). Des weiteren gibt es noch die teilweise auf dem Ziffernblock verfügbaren ⊕⊖⊗⊘⊙⊚⊛⊜. Diese könnten mit ♫o+, ♫o-, ♫o×, ♫o/, ♫o., ♫o∘, ♫o* und ♫o= erzeugt werden. Beachte, dass ♫ox → ¤. 6. Sonstige wichtige Zeichen: • ♫\\ → ∖ (Mengendifferenz) da wichtig und nur auf dem Ziffernblock verfügbar • ♫=: → ≕ zur Vervollständigung, da auch := existiert ̄ • ¯~ → ≃ (dead macron + tilde) als Zeichen für z.B. Isomorphie, sowie ≄. • dead point above + ∪→ ⊍ als disjunkte Vereinigung (so hab ich es zumindest bisher verwendet), evtl auch ♫.∪∪ → ⨃. • Analog zu Pascals ♫ha → ℵ: ♫hb → ℶ Bet, ♫hg → ℷ gimel und ♫hd → ℸ daleth, jeweils h für Hebräisch. 7. Eigentlich wäre es vllt. noch sinnvoll, folgende Zeichen eingeben zu können, habe mir aber da noch nichts überlegt: • Die Prime-Symbole: ′ ″ ‴ – damit man auch f‴(x) eingeben kann (f⁽ⁿ⁾(x) geht ja auch) – besser als bisher über ♫w' und ♫w" • ∁ für Komplement, v.a. im englischen Sprachraum verwendet, bspw: ∁A • Die Einbettungen ↩ und ↪ • Der Widerspruchspfeil: ↯ So, dass ist jetzt ein bisschen viel, hoffe aber damit einige wichtige Cokos noch angeregt zu haben. Selbstverständich ist der hier reingesteckte Hirnschmalz auch unter den Lizenzen von Neo (CC-BY-SA 3-DE nach Projektrichtlinien) veröffentlich- und nutzbar. Viele Grüße und vielen Dank für euer bereits sehr tolles Layout, Aleχ
