GFnotation 包的问题

Question

我正在尝试使用该GFnotation包来使用弗雷格的符号概念文字，但是文件中出现以下错误GFnotation.tex：

Undefined control sequence.
\bstenpoint ->\scriptfont \itfam 
                                 =\sevenit \scriptscriptfont \itfam =\fiveit...
l.189 \bstenpoint

以防万一，我正在使用 Overleaf 进行编译。有人知道如何解决这个问题吗？

Answer 1

宏GFnotation包适用于纯 TeX。这并不意味着它不能在 LaTeX 中工作，但无论如何都需要进行一些调整。

^{由于缺乏示例，甚至无法诊断您报告的错误。}

有两个 LaTeX 包：begriff和grundgesetze，后者似乎维护得更为积极。