2

I am using the semantic package to write inference rules. I need to put a there exists symbol which is standard to LaTeX using $\exists$. However, when used within the semantic package's inference command as follows:

\inference[case$_0$]{$\exists$ I}{test}

several errors are encountered :

(./semantics.aux) (/usr/share/texmf-texlive/tex/latex/ucs/ucsencs.def)
! Missing $ inserted.
<inserted text>
$
l.42 \inference[case$_0$]{$\exists$ I}
{test}
! Extra }, or forgotten $.
\@processPremiseLine ...ce \end \hskip \@@pSpace }
\fi \fi \def \sem@tmp {#2}...
l.42 \inference[case$_0$]{$\exists$ I}
{test}
! Missing $ inserted.
<inserted text>
$
l.42 \inference[case$_0$]{$\exists$ I}
{test}
! Missing } inserted.
<inserted text>
}
l.42 \inference[case$_0$]{$\exists$ I}
{test}
[1] (./semantics.aux) )

Can anyone suggest what I can do please?

2

You can "box" the item using \ensuremath:

enter image description here

\documentclass{article}
\usepackage{semantic}% http://ctan.org/pkg/semantic
\begin{document}
\inference[case$_0$]{\ensuremath{\exists~I}}{test}
\end{document}

Note the forced spacing as a result of the tie ~. This may just be your preference, which I've stuck to.

6

The mandatory arguments seem to be in mathmode by definition, so you do not need to enter mathmode. Remove the dollar signs and it works fine.

\documentclass{article}
\usepackage{semantic}
\begin{document}
\inference[case$_0$]{\exists I}{test}
\end{document}
  • Damn, I'm too slow ... – Torbjørn T. Dec 7 '11 at 8:05

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.