von EinSchreibervonvielen » Do 16. Okt 2014, 01:35
Liebe KollegInnen,
ich bin unzufrieden mit den beiden Symbolen für XOR in LaTeX. Gerne würde ich entweder den Äquivalenzpfeil \leftrightarrow in sein Gegenteil verkehren, oder aber den Schwanz von \left~ bzw. \rightarrowtail aus dem MnSymbol-Paket in einem Zeichen zusammenführen, also ein ... \leftrighttail. Ein entsprechendes Symbol habe ich bei allen Pfeilen, die ich bisher durchsucht habe, nicht finden können.
Das ist gleichzeitig ein schöner Einstieg in die Makro-Erstellung, dachte ich mir. Leider, hänge ich noch fest, die richtige Strategie zu finden, um herauszubekommen, wo ich meine Manipulationen ansetzen muss. Das Skript texdef.pl hat mir dabei noch nicht so richtig weitergeholfen. Eine Datei MnSymbol.idx habe ich mit 'find /usr -name MnSymbol*idx' nicht finden können und die dazugehörige .sty-Datei enthält bloß allgemeine Deklarationen. Ich gehe davon aus, dass ich da in die falsche RIchtung denke.
Vermutlich verrenne ich mich gerade bei der Suche. Es wäre daher toll, wenn mir jemand, der grundsätzlich weiß, nach welchen Dokumentationen man suchen muss, um (auch eben typographisch passend) Pfeile selbst zu erstellen, einen kleinen Wink in die richtige Richtung geben könnte.
Nur weil solche Rückfragen üblich sind, noch dieser Nachtrag: Warum will ich den Kontravalenzpfeil? Dieser Junktor ist nunmal die Umkehrung der Äquivalenz. Natürlich ist auch die \veebar aus dem Paket amssymb ein passendes Symbol. Aber im Hinblick auf die Wahrheitstafel hängt das XOR eben weniger mit dem Oder als mit der genannten Äquivalenz zusammen. Daher verwende ich aus didaktischen Gründen dieses Zeichen lieber, als das unterstrichene Oder. Und das \oplus empfinde ich aus dieser Warte als vollkommen zusammenhangslos. Aus den existierenden Pfeilen einen neuen zu bauen, würde dann im Textfluss hübscher aussehen, als etwa ein Umweg über tikz.
Liebe KollegInnen,
ich bin unzufrieden mit den beiden Symbolen für XOR in LaTeX. Gerne würde ich entweder den Äquivalenzpfeil \leftrightarrow in sein Gegenteil verkehren, oder aber den Schwanz von \left~ bzw. \rightarrowtail aus dem MnSymbol-Paket in einem Zeichen zusammenführen, also ein ... \leftrighttail. Ein entsprechendes Symbol habe ich bei allen Pfeilen, die ich bisher durchsucht habe, nicht finden können.
Das ist gleichzeitig ein schöner Einstieg in die Makro-Erstellung, dachte ich mir. Leider, hänge ich noch fest, die richtige Strategie zu finden, um herauszubekommen, wo ich meine Manipulationen ansetzen muss. Das Skript texdef.pl hat mir dabei noch nicht so richtig weitergeholfen. Eine Datei MnSymbol.idx habe ich mit 'find /usr -name MnSymbol*idx' nicht finden können und die dazugehörige .sty-Datei enthält bloß allgemeine Deklarationen. Ich gehe davon aus, dass ich da in die falsche RIchtung denke.
Vermutlich verrenne ich mich gerade bei der Suche. Es wäre daher toll, wenn mir jemand, der grundsätzlich weiß, nach welchen Dokumentationen man suchen muss, um (auch eben typographisch passend) Pfeile selbst zu erstellen, einen kleinen Wink in die richtige Richtung geben könnte.
Nur weil solche Rückfragen üblich sind, noch dieser Nachtrag: Warum will ich den Kontravalenzpfeil? Dieser Junktor ist nunmal die Umkehrung der Äquivalenz. Natürlich ist auch die \veebar aus dem Paket amssymb ein passendes Symbol. Aber im Hinblick auf die Wahrheitstafel hängt das XOR eben weniger mit dem Oder als mit der genannten Äquivalenz zusammen. Daher verwende ich aus didaktischen Gründen dieses Zeichen lieber, als das unterstrichene Oder. Und das \oplus empfinde ich aus dieser Warte als vollkommen zusammenhangslos. Aus den existierenden Pfeilen einen neuen zu bauen, würde dann im Textfluss hübscher aussehen, als etwa ein Umweg über tikz.