Unicode: Logic Symbols โ โ
Standard Logic Symbols
โ โ โ โข โด โต โ
ยฌ
and or nand xor โง โจ โข โผ โป
true โจ โญ
assertion โฆ โฌ
models, forces โง โฉ โฎ
Logic binary operators โ โ โฉ โฉ โฉ โฉ โฉ
โ โ โฉ โฉ โฝ โฉฃ โฉข
โฉ โฉ
โฉ โฉ
โฉ โฉ โจ
โฉ โฉ โจ
โฉ
Logic n-nary operators โ โ
โซฌ โซญ
โ โ