Commit ff0666e6 authored by Glen Mével's avatar Glen Mével
Browse files

ICFP21 paper: cosmetics for a multiline formula

parent 23142e4b
......@@ -106,9 +106,15 @@
\queueInv
& \eqdef
& \Exists \gmonos, \gtokens. \\
& & \hspace{4em}\knowInv{}{\queueInvInner}\\
& \left\{\begin{array}{l}
\Exists \gmonos, \gtokens.
\\ \quad \knowInv{}{\queueInvInner}
\end{array}\right.
\\
% invariant (inner):
\queueInvInner
& \eqdef
\\
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment