Hallo, vielen Dank für die vielen Kommentare und Anmerkungen.
1. Zu den doppelt gestrichenen Buchstaben: Ich denke, dass v.a. die Großbuchstaben, Ziffern und Klammern wichtig sind, würde aber der Vollständigkeit halber auch für die Kleinbuchstaben plädieren. Ich könnte, da du – Pascal – meintest, dass das viel Arbeit ist, natürlich auch mithelfen, bräuchte aber eine kurze Einführung dann. Des weiteren wollte ich bei Gelegenheit sowieso mal wegen eines SVN-Zugangs fragen, da ich evtl. auch ein paar Tippfehler die mir hier und da aufgefallen sind, verbessern wollte. Kann mir da jemand einen Zugang einrichten? Bei den Klammern würde ich aber jeweils auch die Variante mit | aufnehmen, da dies allgemein für alle doppelt gestrichenen Buchstaben gilt. Die [[- Kombinationen sind halt auch intuitiv, bin daher für beide. 2. Normalteiler: Ich hatte die Kombination ♫|< vorgeschlagen, weil die in die Logik mit den doppelt gestrichenen Zeichen passt, und Cokos ja quasi Präfix-Codes sein müssen, und dann ♫=< → ≤ schon abbricht bevor ♫=<| eingebbar ist. Ich denke, dass man nicht nur ⊴, sondern auch ⊲ braucht, z.B. bei Normalreihen. Die Negationen habe ich nur der Vollständigkeit vorgeschlagen. 3. Asterix und Op…: Den Asterisk-Operator braucht man denke ich auf jeden Fall, wohingegen der tiefgestellte Asterisk ⁎ und das Zeichen ⁑ kaum Verwendung finden. Deswegen hätte ich gedacht, dass ∗ wichtig genug wäre, ihm ♫** zuzuordnen. Da ∗ ja keine Multiplikation ist (sondern z.B. eine Faltung), würde ich von ♫mal absehen, bei den anderen Vorschlägen höchstens ♫ast nehmen, da dieses an \ast in TeX erinnert. Ich bin aber eher für erstere Option, da ** recht intuitiv ist. 4. Teilt und Norm: Bei mir sieht in einigen Fonts ∣ und ‖ unterschiedlich aus als | und ∥. So ist teilt häufig etwas länger und feiner. Außerdem war es wohl auch wichtig genug um auf dem Ziffernblock Platz zu finden. 5. Sonstige Zeichen: • Ich gebe euch Recht, dass die Einbettungen ↩↪ doch zu selten sind. • Das große Komplementsymbol ist auch nicht wichtig genug. • Als Besitzer einer Laptoptastatur kann ich die Primsymbole nicht erreichen, und da man auch in der Schulmathematik die dritte Ableitung häufig braucht, wäre ich schon für gängige Cokos für ′ ″ und ‴. Auf die Haupttastatur will ich sie auch nicht. Ich könnte auch mit den bisherigen anfreunden, wenn es z.B. zusätzlich eine Analoge, wie z.B. ♫w3['] für ‴ gäbe. • Das Zeichen ≃ taucht auch z.B. häufig in Äquivalenzrelationen auf, außerdem wird es glaube ich auch für Homotopie eingesetzt. • Die Idee ♫⊥⊥ → ⊤ fand ich doch besser als meine Vorschläge. • Ich bin froh, dass ♫\\ → ∖ auch Zuspruch gefunden hat, es ist eben ziemlich häufig, sieht in einigen Fonts anders aus und war wohl auch wichtig genug, auf dem Ziffernblock aufgenommen zu werden. • ♫li[g]→ ↯, für lightning oder ♫wid für Widerspruch, oder so? Viele Grüße, Aleχ PS: Komme übrigens auch aus Heidelberg und bekunde hier mal allgemeines Interesse an einem TeX-Stammtisch. Vielen Dank auch für deine TeX- Codebeispiele, Arno.
