我查了下符号：https://en.wikipedia.org/wiki/List_of_logic_symbols
如果实在想用，那就是查看下 texdoc symbols-a4 如下图：
1 个回答
撰写答案
请登录后再发布答案，点击登录
相关问题
热门文章
热门问题
等待解答
问
Patrick Blackburn的《modal logi》里的模态互模拟的符号看上去就像在$\leftrightarrow$下面再加了一条横线，找遍ams也没找到
我查了下符号：https://en.wikipedia.org/wiki/List_of_logic_symbols
如果实在想用，那就是查看下 texdoc symbols-a4 如下图：
手机
浏览
