Überarbeitungsverlauf[Zurück]
Klicke auf Einblenden/Ausblenden von Überarbeitungen 18

10 Aug '22, 01:02

user0's gravatar image

user0
1021329

Abstände um das mittelere Trennzeichen in Klassentermen

Im deutschen Formelsatz sehe ich Klassenterme der allgemeinen Mengenlehre meistens als `{ x | φ }` gesetzt, also mit dem vertikalen Strich `|` als Trennzeichen und gleich großen horizontalen Abständen unmittelbar davor und unmittelbar danach. Seltener sehe ich `{ x : φ }`, also, mit dem Doppelpunkt `:` als mittleres Trennzeichen und immer noch gleich großen Abständen davor und danach. Ab und zu kommt `{ x ⦁ φ }` vor, ebenso mit symmetrischen Abständen. Gibt es irgendjemanden, der im deutschen Formelsatz den Abstand vor dem mittleren Trennzeichen kleiner setzt als den Abstand danach, sprich, `{ x| φ }` bzw. `{ x: φ }` bzw. `{ x⦁ φ }`? Wenn ja: Warum wurden die Abstände so verändert? Akzeptieren so etwas die Verlage und die Leser oder sieht es sehr gewöhnungsbedürftig aus? PS. Damit es etwas mit LaTeX zu tun hat: Die unsymmetrischen Abstände werden mit `\mathpunct{|}`, `\colon` und `\mathpunct{\spot}` (aus dem Paket czt) bzw. `\mathpunct{\mdsmblkcircle}` (aus unicode-math). Die unicode-math) gesetzt; die symmetrischen Abstände werden mit `\mid`, `:` und `\mathrel{\spot}` (aus dem Paket czt) bzw. `\mathrel{\mdsmblkcircle}` (aus dem Paket unicode-math) gesetzt. PPS. Es geht hier NICHT um den Formelsatz in anderen Sprachen (Englisch, Russisch usw.).
Klicke auf Einblenden/Ausblenden von Überarbeitungen 17

10 Aug '22, 01:02

user0's gravatar image

user0
1021329

Abstände um das mittelere Trennzeichen in Klassentermen

Im deutschen Formelsatz sehe ich Klassenterme der allgemeinen Mengenlehre meistens als `{ x | φ }` gesetzt, also mit dem vertikalen Strich `|` als Trennzeichen und gleich großen horizontalen Abständen unmittelbar davor und unmittelbar danach. Seltener sehe ich `{ x : φ }`, also, mit dem Doppelpunkt `:` als mittleres Trennzeichen und immer noch gleich großen Abständen davor und danach. Ab und zu kommt `{ x ⦁ φ }` vor, ebenso mit symmetrischen Abständen. Gibt es irgendjemanden, der im deutschen Formelsatz den Abstand vor dem mittleren Trennzeichen kleiner setzt als den Abstand danach, sprich, `{ x| φ }` bzw. `{ x: φ }` bzw. `{ x⦁ φ }`? Wenn ja: Warum wurden die Abstände so verändert? Akzeptieren so etwas die Verlage und die Leser oder sieht es sehr gewöhnungsbedürftig aus? PS. Damit es etwas mit LaTeX zu tun hat: Es geht um den Unterschied zwischen `\mathpunct{|}` und `\mid` bzw. Die unsymmetrischen Abstände werden mit `\mathpunct{|}`, `\colon` und `:` bzw. `\mathpunct{\spot}` und `\mathrel{\spot}` (aus dem Paket czt) bzw. `\mathpunct{\mdsmblkcircle}` und (aus unicode-math). Die symmetrischen Abstände werden mit `\mid`, `:` und `\mathrel{\spot}` (aus dem Paket czt) bzw. `\mathrel{\mdsmblkcircle}` (aus dem Paket unicode-math). unicode-math) gesetzt. PPS. Es geht hier NICHT um den Formelsatz in anderen Sprachen (Englisch, Russisch usw.).
Klicke auf Einblenden/Ausblenden von Überarbeitungen 16

10 Aug '22, 01:00

user0's gravatar image

user0
1021329

Klicke auf Einblenden/Ausblenden von Überarbeitungen 15

10 Aug '22, 00:59

user0's gravatar image

user0
1021329

Klicke auf Einblenden/Ausblenden von Überarbeitungen 14

10 Aug '22, 00:31

user0's gravatar image

user0
1021329

Klicke auf Einblenden/Ausblenden von Überarbeitungen 13

10 Aug '22, 00:30

user0's gravatar image

user0
1021329

Klicke auf Einblenden/Ausblenden von Überarbeitungen 12

10 Aug '22, 00:26

user0's gravatar image

user0
1021329

Klicke auf Einblenden/Ausblenden von Überarbeitungen 11

10 Aug '22, 00:26

user0's gravatar image

user0
1021329

Klicke auf Einblenden/Ausblenden von Überarbeitungen 10

10 Aug '22, 00:25

user0's gravatar image

user0
1021329

Klicke auf Einblenden/Ausblenden von Überarbeitungen 9

10 Aug '22, 00:24

user0's gravatar image

user0
1021329

Klicke auf Einblenden/Ausblenden von Überarbeitungen 8

10 Aug '22, 00:24

user0's gravatar image

user0
1021329

Klicke auf Einblenden/Ausblenden von Überarbeitungen 7

10 Aug '22, 00:21

user0's gravatar image

user0
1021329

Klicke auf Einblenden/Ausblenden von Überarbeitungen 6

10 Aug '22, 00:19

user0's gravatar image

user0
1021329

Klicke auf Einblenden/Ausblenden von Überarbeitungen 5

10 Aug '22, 00:19

user0's gravatar image

user0
1021329

Klicke auf Einblenden/Ausblenden von Überarbeitungen 4

10 Aug '22, 00:18

user0's gravatar image

user0
1021329

Klicke auf Einblenden/Ausblenden von Überarbeitungen 3

10 Aug '22, 00:18

user0's gravatar image

user0
1021329

Klicke auf Einblenden/Ausblenden von Überarbeitungen 2

10 Aug '22, 00:18

user0's gravatar image

user0
1021329

Klicke auf Einblenden/Ausblenden von Überarbeitungen 1

10 Aug '22, 00:17

user0's gravatar image

user0
1021329