下面是我拍摄的西奥多·赛德 (Theodore Sider) 所著《哲学逻辑》中的一个符号。该符号用于表示一个函数,其域是命题逻辑的句子字母,其范围是集合{0,1}
(称为 PL 解释……它基本上将真值分配给不同的大写字母)。这个符号的名称是什么?如何在 LaTeX 中重现它?
答案1
您可以使用解毒回答此类问题,例如:
答案2
你应该看看:如何查找符号或识别数学符号或字符?
使用解毒您可以看到,这个符号被调用\mathscr{I}
,并且您需要包含\usepackage{ mathrsfs }
它才能使用它。
答案3
另一个名称来自\mathcal{I}
该calrsfs
包。