Am Montag, 15. März 2010 02:04:58 schrieb Alexander Koch:
> Hierbei verschwindet leider die ₀

Das ist ein sehr häufiges Zeichen, taucht in allen Naturwissenschaften, sogar 
schon in der Schule auf; außerdem ist es zum TeXen sehr angenehm¹ und ich 
verwende es sehr häufig.
Die Gaußklammern kenne ich dagegen nur aus der Informatik, beim Programmieren 
werden sie jedoch nicht verwendet. Darum habe ich sie zwar schon einmal von 
Hand geschrieben, jedoch noch kein einzigen Mal am PC gebraucht. Das Ziel, mit 
Neo einer möglichst breiten Anwendergruppe wichtige Zeichen zu bieten, sehe 
ich bei den Gaußklammern darum nicht gegeben. Obendrein sind die Gaußklammern 
bereits auf dem Keypad und ebenso als Coko verfügbar – und das sogar 
außerordentlich einfach, denn kaum eine Coko ist so einfach einzugeben wie 
♫_[ → ⌊ und ♫_] → ⌋, denn die Tasten liegen beide auf Ebene 3 und direkt 
nebeneinander, was übrigens auf auf ⌈ und ⌉ zutrifft.


> ↞ ↢

Das Ziel von Cokos ist es, auch ungewöhnliche Zeichen erzeugbar zu machen; 
verwendet habe ich aber ↞ und ↢ noch nie in meinem Leben. Darum zieht das 
Argument, sie müssen leichter erzeugbar sein, nicht.


> ⊥ (Down Tack, Bottom) und ⟂ (Senkrecht)

Wir haben kürzlich noch darüber diskutiert, nicht zwanghaft den Ansichten des 
Unicode zu folgen. Insbesondere bei diesem Zeichen verstehe ich nicht, warum 
du beide eingeben möchtest? Die „Semantik des Unicodes“ ist absolut künstlich 
und findet außerhalb des PCs überhaupt keine Entsprechung. Dass wir übrigens ⊥ 
und nicht ⟂ verwenden, liegt daran, dass letzteres durch keine gängige 
Schriftart erzeugt wird, ⊥ jedoch problemlos.


Insgesamt greifen deine Vorschläge zu tief ein – wir wollen aber in 10 Tagen 
einen Abschluss haben!


Gruß,
Pascal

¹ persönlich verwende ich lyx.module

Attachment: signature.asc
Description: This is a digitally signed message part.

Antwort per Email an