怎么输入模态逻辑的互模拟符号?

发布于 2021-05-16 16:09:45

Patrick Blackburn的《modal logi》里的模态互模拟的符号看上去就像在$\leftrightarrow$下面再加了一条横线,找遍ams也没找到

查看更多

关注者
0
被浏览
1.6k
LaTeXStudio
LaTeXStudio 2021-05-16
这家伙很懒,什么也没写!

我查了下符号:https://en.wikipedia.org/wiki/List_of_logic_symbols
image.png

如果实在想用,那就是查看下 texdoc symbols-a4 如下图:
image.png

1 个回答

撰写答案

请登录后再发布答案,点击登录

发布
问题

分享
好友

手机
浏览

扫码手机浏览