You are not logged in.
Dear visitor, welcome to Aqua Computer Forum. If this is your first visit here, please read the Help. It explains how this page works. You must be registered before you can use all the page's features. Please use the registration form, to register here or read more information about the registration process. If you are already registered, please login here.
|
|
Source code |
1 2 3 4 5 6 7 8 9 |
specifies the normal behavior of the overall system:
\begin{gather}
LIB \cup STRUCTURE \cup \{ MA_{OK} \} \Rightarrow
\MODEL_{OK}
\end{gather}
The well-designed-system assumption,
\begin{gather}
\MODEL_{OK} \Rightarrow \GOALS %,
\end{gather}
|
|
|
Source code |
1 2 |
\newcommand{\MODEL}[0]{MODEL }
\newcommand{\GOALS}[0]{GOALS }
|
|
|
Source code |
1 2 3 4 5 6 7 8 9 |
\documentclass{report}
\begin{document}
\begin{displaymath}
STRUCTURE
\end{displaymath}
\end{document}
|
Quoted
For example, the ^|\raggedright| macro of plain \TeX\ uses |\spaceskip| and |\xspaceskip| to suppress all stretching and shrinking of interword spaces.
Quoted from "Y0Gi"
link=board=6;num=1149546904;start=0#4 date=06/06/06 um 11:00:46]Ich habe gerade nichts gefunden, um auto-stretching zu unterdrücken, möglicherweise kannst du am Zeilenende aber ein \hfill einschieben, damit es selbst die Zeile soweit wie nötig auffüllt und nicht den eigentlichen Text verzerrt. Im zweiten Versuch könnte eine feste Breite für eine Box Abhilfe schaffen.
Edit: Hier hab ich noch was gefunden:
Quelle: http://www.tug.org/ftp/historic/files/ma…998[/quote]Also so wie ich das sehe, hängen die spaces zwischen den Buchstaben nicht mit dem auto-stretching zusammen.
Hm - inter-word spacing scheint schon mal ein sehr gutes Stichwort zu sein. Zumindest findet man auch mit dem Begriff inter-letter spacing etwas bei Google.
-