13 Logik
%0, und
%3, oder
%:* nicht
%==o Pfeil nach rechts mit doppeltem Schaft und einfacher Spitze (Implikationspfeil)
%9==o Doppelpfeil mit doppeltem Schaft (Äquivalenzpfeil)
Die Symbole für "und", "oder" und "nicht" werden nach einem Leerzeichen, angeschlossen an das folgende Zeichen geschrieben (siehe "5 Operations- und Relationszeichen").
Die Implikations- und Äquivalenzpfeile stehen zwischen Leerzeichen. Durchgestrichene Pfeile werden als modulare Pfeile dargestellt (siehe "7.1 Modulare Pfeile").
Beispiel 13 B01
#c teilt x 0,x 9=#aj
oder in Voll- bzw. Kurzschrift:
#c t3lt x 0,x 9=#aj
bzw.:
#c '.t3lt'. x 0,x 9=#aj
\[3 \; \text{teilt} \; x \land x \leq 10\]
Beispiel 13 B02
>a ::o >b 9==o :*>a 3,>b
\[A \rightarrow B \Leftrightarrow \lnot A \lor B \]
14 Geometrie, Trigonometrie und Vektoren 14.1 Geometrische Symbole
%7/ Dreieck
%7) Kreis
%7= Quadrat
%7% Rechteck (Das zweite Vollzeichen ist Teil des Symbols.)
%7? Rhombus
%7+ Parallelogramm
%7* Durchmesser
%79 Winkel
%7( rechter Winkel
%7:, im Uhrzeigersinn
%7!: gegen den Uhrzeigersinn
%$: zusammenfassende Markierung für Strecke (waagrechter Strich über mehreren Buchstaben)
%$2 zusammenfassende Markierung für Bogen (Bogen über mehreren Symbolen)
%$:, zusammenfassende Markierung für Vektor (Pfeil über mehreren Symbolen)
%:, Markierung für Vektor (Pfeil über einem Symbol)
%#. senkrecht auf
%"% parallel zu (Das zweite Vollzeichen ist Teil des Symbols.)
Die mit Schlüsselzeichen %7 gebildeten Symbole können mit oder ohne vorangehendem und/oder folgendem Leerzeichen geschrieben werden. Sie müssen jedoch klar von unmittelbar rechts neben ihnen stehenden Buchstaben, zum Beispiel durch ein Ankündigungszeichen für Groß- bzw. Kleinschreibung, getrennt werden.
Zusammenfassende Markierungen über mehreren Symbolen stehen unmittelbar vor dem ersten dieser Symbole und sind Projektive. Das Ende der Markierung gestaltet sich nach den allgemeinen Regeln für Projektive (siehe "10 Projektivtechnik").
Die Symbole für "senkrecht auf" und "parallel zu" sind Relationszeichen (siehe "5 Operations- und Relationszeichen").
Beispiel 14.1 B01
7=>abcd
\[\square ABCD\]
Beispiel 14.1 B02
79>pqr =#cj_")
\[\angle PQR\ =30^{\circ}\]
|