☰

使用语义包推断内存在符号

tag-icon • tag-icon symbols semantics
使用语义包推断内存在符号

我正在使用该semantic包编写推理规则。我需要放置一个存在符号，这是 LaTeX 的标准用法。但是，在包的命令$\exists$中使用时，如下所示：semanticinference

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

遇到了几个错误：

(./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) )

有人能建议我该做什么吗？

答案1

您可以使用以下方式“装箱”该物品\ensuremath：

在此处输入图片描述

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

注意由于领带而强制留出的间距~。这可能只是你的偏好，而我一直坚持这一点。

答案2

强制参数似乎在数学模式下定义，因此您不需要进入数学模式。删除美元符号，它就可以正常工作。

\documentclass{article}
\usepackage{semantic}
\begin{document}
\inference[case$_0$]{\exists I}{test}
\end{document}

相关内容