字体是什么福在这个推理规则中？
用于推理规则的包是https://ctan.org/pkg/mathpartir?lang=en。示例见第 7 页。
如果有人设法找出字体的名称，那么另一个问题是：我该如何定义一个宏，该宏以某些文本作为输入并输出具有该字体和大小的文本？
标记推理规则时字体的名称是什么？
字体是什么福在这个推理规则中？
用于推理规则的包是https://ctan.org/pkg/mathpartir?lang=en。示例见第 7 页。
如果有人设法找出字体的名称，那么另一个问题是：我该如何定义一个宏，该宏以某些文本作为输入并输出具有该字体和大小的文本？