⊩

forces

Unicode code point: U+22A9

⊪

triple vertical bar right turnstile

Unicode code point: U+22AA

⊫

double vertical bar double right turnstile

Unicode code point: U+22AB

⊬

does not prove

Unicode code point: U+22AC

⊭

not true

Unicode code point: U+22AD

⊮

does not force

Unicode code point: U+22AE

⊯

negated double vertical bar double right turnstile

Unicode code point: U+22AF

⊰

precedes under relation

Unicode code point: U+22B0

⊱

succeeds under relation

Unicode code point: U+22B1

⊲

normal subgroup of

Unicode code point: U+22B2

⊳

contains as normal subgroup

Unicode code point: U+22B3

⊴

normal subgroup of or equal to

Unicode code point: U+22B4

⊵

contains as normal subgroup or equal to

Unicode code point: U+22B5

⊶

original of

Unicode code point: U+22B6

⊷

image of

Unicode code point: U+22B7

⊸

multimap

Unicode code point: U+22B8

⊹

hermitian conjugate matrix

Unicode code point: U+22B9

⊺

intercalate

Unicode code point: U+22BA

⊻

xor

Unicode code point: U+22BB

⊼

nand

Unicode code point: U+22BC

⊽

nor

Unicode code point: U+22BD

⊾

right angle with arc

Unicode code point: U+22BE

⊿

right triangle

Unicode code point: U+22BF

⋀

n-ary logical and

Unicode code point: U+22C0

⋁

n-ary logical or

Unicode code point: U+22C1

⋂

n-ary intersection

Unicode code point: U+22C2

⋃

n-ary union

Unicode code point: U+22C3

⋄

diamond operator

Unicode code point: U+22C4

⋅

dot operator

Unicode code point: U+22C5

⋆

star operator

Unicode code point: U+22C6

⋇

division times

Unicode code point: U+22C7

⋈

bowtie

Unicode code point: U+22C8

⋉

left normal factor semidirect product

Unicode code point: U+22C9

⋊

right normal factor semidirect product

Unicode code point: U+22CA

⋋

left semidirect product

Unicode code point: U+22CB

⋌

right semidirect product

Unicode code point: U+22CC

⋍

reversed tilde equals

Unicode code point: U+22CD

⋎

curly logical or

Unicode code point: U+22CE

⋏

curly logical and

Unicode code point: U+22CF

⋐

double subset

Unicode code point: U+22D0

⋑

double superset

Unicode code point: U+22D1

⋒

double intersection

Unicode code point: U+22D2

⋓

double union

Unicode code point: U+22D3

⋔

pitchfork

Unicode code point: U+22D4

⋕

equal and parallel to

Unicode code point: U+22D5

⋖

less-than with dot

Unicode code point: U+22D6

⋗

greater-than with dot

Unicode code point: U+22D7

⋘

very much less-than

Unicode code point: U+22D8

⋙

very much greater-than

Unicode code point: U+22D9

⋚

less-than equal to or greater-than

Unicode code point: U+22DA

⋛

greater-than equal to or less-than

Unicode code point: U+22DB

⋜

equal to or less-than

Unicode code point: U+22DC

⋝

equal to or greater-than

Unicode code point: U+22DD

⋞

equal to or precedes

Unicode code point: U+22DE

⋟

equal to or succeeds

Unicode code point: U+22DF

⋠

does not precede or equal

Unicode code point: U+22E0

⋡

does not succeed or equal

Unicode code point: U+22E1

⋢

not square image of or equal to

Unicode code point: U+22E2

⋣

not square original of or equal to

Unicode code point: U+22E3

⋤

square image of or not equal to

Unicode code point: U+22E4

⋥

square original of or not equal to

Unicode code point: U+22E5

⋦

less-than but not equivalent to

Unicode code point: U+22E6

⋧

greater-than but not equivalent to

Unicode code point: U+22E7

⋨

precedes but not equivalent to

Unicode code point: U+22E8

⋩

succeeds but not equivalent to

Unicode code point: U+22E9

⋪

not normal subgroup of

Unicode code point: U+22EA

⋫

does not contain as normal subgroup

Unicode code point: U+22EB

⋬

not normal subgroup of or equal to

Unicode code point: U+22EC

⋭

does not contain as normal subgroup or equal

Unicode code point: U+22ED

⋮

vertical ellipsis

Unicode code point: U+22EE

⋯

midline horizontal ellipsis

Unicode code point: U+22EF

⋰

up right diagonal ellipsis

Unicode code point: U+22F0

⋱

down right diagonal ellipsis

Unicode code point: U+22F1

⋲

element of with long horizontal stroke

Unicode code point: U+22F2

⋳

element of with vertical bar at end of horizontal stroke

Unicode code point: U+22F3