I am attempting to parts of TLA+ specifications in a .tex document using tlatex and having some difficulties scaling these.
I have figures that look like
\begin{figure}
\begin{tla}
...
\end{tla}
\end{figure}
which I run through tla2tex to end up with something like
\begin{figure}
\begin{tla}
...
\end{tla}
\begin{tlatex}
...
\end{tlatex}
\end{figure}
Now, some of these snippets end up too wide for my page and I would like them to stay inside the margins. I have had no success with \scalebox and \resizebox, even with minipages or vboxes.
Does anyone have experience with resizing TLA+ in LaTeX like this?