[texhax] \eqno and \begin{split}

[J. Garrett Morris]

Hello,

I've been using a macro to provide word labels for my equations:

\newcommand{\eql}[1]{\eqno{\mathrm{(\textsc{#1})}}}

Which I use like:

\begin{equation*}
   A \vdash \pi \impl true(\pi, A) \eql{Soundness}
\end{equation*}

I imagined that I'd be able to use this with the various amsmath
equation splitting features ... something like:

\begin{equation*} \begin{split}
  & ...  \\
  & ...
\end{split} \eql{Soundness} \end{equation*}

But this produces "You can't use \eqno in math mode".  I've tried
various other permutations of the eqno and the split, and it doesn't
seem to help.

So, questions:
  1) Is there a better way I should have been generating equation
labels all along?
  2) If there isn't, is there a way to get my macro and split to work
happily together?

Thanks,

 /g


-- 
I am in here