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}