Unicode: Tacks โข โฅ โค Turnstiles โจ
Used in formal logic, model theory, type theory.
Tacks
tacks (used in logic.) โฃ โข โฅ โค โข โ โ โข โ
long tacks โ โ
tack with circle โ โซฑ โซฏ โซฐ
double tack โซซ โซช
short tack โซ โซ โซ โข โซจ โซง โซฉ
ห ห แช
๊ญช ๊ญซ
Turnstile
โจ (true) โญ (not true)
โฏ โซ โซฅ
โซฃ โซค โ โซข โช โซฆ