Patrick Blackburn的《modal logi》里的模态互模拟的符号看上去就像在$\leftrightarrow$下面再加了一条横线,找遍ams也没找到
查看更多
我查了下符号:https://en.wikipedia.org/wiki/List_of_logic_symbols
如果实在想用,那就是查看下 texdoc symbols-a4 如下图:
texdoc symbols-a4
发布 问题
分享 好友
手机 浏览
回到 顶部