von Stefan Kottwitz » Mo 22. Jan 2024, 20:41
Ich hab zwar keinen Styleguide gesehen, würde es mit Stil-Empfinden so sehen, Prioritäten zuerst:
- Implikations-Pfeile aneinander ausgerichtet
- Relationszeichen zueinander ausgerichtet
- Terme an Relationszeichen rangerückt ausgerichtet (wie im ersten Bild)
- längere Formeln am Implikationszeichen herangerückt (wie im zweiten Bild)
Durch ungleich lange Terme kann es manchmal sein, dass man sich entscheiden muss (Term eher direkt an Relationszeichen als am Implikationszeichen), und vllt. sogar einen Mittelweg wählt. Z.B. kann ich mir beim 2. Bild sehr gut vorstellen, dass der Term mittig zwischen den Relationszeichen steht, wegen Symmetrie.
Stefan
Ich hab zwar keinen Styleguide gesehen, würde es mit Stil-Empfinden so sehen, Prioritäten zuerst:
[list][*] Implikations-Pfeile aneinander ausgerichtet
[*] Relationszeichen zueinander ausgerichtet
[*] Terme an Relationszeichen rangerückt ausgerichtet (wie im ersten Bild)
[*] längere Formeln am Implikationszeichen herangerückt (wie im zweiten Bild)[/list]
Durch ungleich lange Terme kann es manchmal sein, dass man sich entscheiden muss (Term eher direkt an Relationszeichen als am Implikationszeichen), und vllt. sogar einen Mittelweg wählt. Z.B. kann ich mir beim 2. Bild sehr gut vorstellen, dass der Term mittig zwischen den Relationszeichen steht, wegen Symmetrie.
Stefan