LaTeX.org

ah, I found my own solution. I had to use the latex protect command, and use global defs. i.e.

\newcommand{\ifother}[2]{{{{\ifx\myother\undefined{#2}\else{#1}\fi}}}}
\newcommand{\startother}{\global\def\myother{}}
\makeatletter
\newcommand{\finishother}{\global\let\myother\@undefined ...

Recently I have found myself using arrays with quite fancy format specifications (particually for case distinction of mixfix operators). For example


\begin{array}{@{\llbracket}l@{,}l@{\models}l@{\rrbracket~=~}l}
M & s & true & true \\
...
\end{array}


Then the inevitable occoured, I wanted to ...

Hi, Ive recently been playing about with the alignedat environemnt, and have been porting my old definitions from arrays into it to allow for page breaking large equations.

But after much experimentation I can find how to cleanly remove the padding put around an alignedat environment. Ive looked at ...