答案1
当使用格式化的引用时,lyx 会加载refstyle
包并检查是否通过包提供的宏\lemref
定义(这个宏与当前的 latex 内核的宏类似,但是在编写包时它们有点不同)。\RS@ifundefined
refstyle
\@ifundefined
如果该命令\lemref
尚未定义,它将被定义为\newref{lem}{name=lemma~}
,如果没有,则在文档的开头该命令\providecommand{\lemref}[1]{\ref{lem:#1}}
将发出,它将被定义\lemref{#1}
为好像\ref{lem:#1}
尚未\lemref
定义(这是 lyx 如何利用交叉引用格式)。
由于某种原因,它对词条这样做,但对命题却不这样做。对于命题,它只\providecommand{\propref}[1]{\ref{prop:#1}}
在文档的开头这样做。由于\propref
在文档的开头没有定义,因此交叉引用命题将产生格式。
您可以发布错误单这里并询问开发人员这是否是一个错误。
结论
您可以执行与 lyx 相同的过程并\RS@ifundefined{propref}{\newref{prop}{name=proposition~}}{}
在序言中写入,它应该可以解决您的问题。