逻辑运算符号是一种比较特殊的符号，其实这种符号在我们编写程序的时候是比较容易看到的，正是因为有了这些丰富的运算符号，才产生了丰富多彩的互联网世界。我们来看看这些个性的逻辑符号吧，例如：【¬≡∴∵∶∷∼⊧⊢⊣⊤⊥⊨⊩⊪⊫⊬⊭⊮】
向右箭头:→
向左箭头:←
左右箭头:↔
带粗线的向右箭头:↛
带粗线的向左箭头:↚
向下箭头:↓
向右双箭头:⇒
向左双箭头:⇐
左右双箭头:⇔
向右鱼叉上的向左鱼叉:⇋
向下之字形箭头:↯
带粗线的向右双箭头:⇏
逻辑与:∧
逻辑或:∨
N 元逻辑和:⋀
N 元逻辑或:⋁
N 元交集:⋂
N 元并集:⋃
非标记:¬
恒等于:≡
所以:∴
因为:∵
比:∶
比例:∷
颚化符运算符:∼
模型:⊧
右丁字:⊢
左丁字:⊣
下丁字:⊤
上丁字:⊥
真:⊨
强制:⊩
三竖条右转门:⊪
双竖条双右转门:⊫
不证明:⊬
不真:⊭
不强制:⊮
非双竖条双右转门:⊯
异或:⊻
或非:⊽
波形逻辑或:⋎
波形逻辑和:⋏
→←↔↛↚↓⇒⇐⇔⇋↯⇏∧∨⋀⋁⋂⋃¬≡∴∵∶∷∼⊧⊢⊣⊤⊥⊨⊩⊪⊫⊬⊭⊮⊯⊻⊽⋎⋏
在线网名符号工具