Hi Leute,
ich habe folgende Formel, die sich selbst komplett rechts aus der Seite schiebt.
Wie genau bekomme ich die vernünftig angezeigt? Ich habe bereits diverse Kombinationen mit & ausprobiert:
Minimalbeispiel:
\documentclass[12pt]{article} \usepackage{amsmath} \usepackage{graphicx} \usepackage{amsmath,amssymb} \usepackage[latin1]{inputenc} \title{Minimalbeispiel} \begin{document} \maketitle \newpage \begin{align*} MsgBrk: (In \times In_{sub}) \rightarrow (Out \times Ack_{sender} \times Ack_{receiver} ) \\ MsgBrk \equiv \ \exists mds, mdr \in \mathbb{N}, mstore \in \mathbb{N}\textbackslash \{ 0\}: \\ \forall x\in In^*, x' \in In_{sub}^\omega, t\in T, m \in M: \exists y \in Ack_{sender}^\omega, y'\in Ack_{receiver}, z\in Out^\omega: f(x,x') = (z,y,y') \ \land \\ \# y \leq \# x \leq mds + \# y \ \land \\ \# y' \leq \# x' \leq mdr + \# y' \ \land \\ z \sqsubseteq success(x, y) \ \land\\ \# success(x, y) - \# z > 0 \Rightarrow lt(y') \neq subFail \ \land \\ success(x, y) - \# z < mstore \Rightarrow lt(y) \neq error \ \land \\ \# (t,m) \text{\textcopyright} z > 0 \Rightarrow \# t \text{\textcopyright} x' > 0. \end{align*} \end{document}