Character set "[\u{22A6}-\u{22B8}]"

Characters (19)

Code point	Character	Name
U+22A6	`⊦`	`ASSERTION`
U+22A7	`⊧`	`MODELS`
U+22A8	`⊨`	`TRUE`
U+22A9	`⊩`	`FORCES`
U+22AA	`⊪`	`TRIPLE VERTICAL BAR RIGHT TURNSTILE`
U+22AB	`⊫`	`DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE`
U+22AC	`⊬`	`DOES NOT PROVE`
U+22AD	`⊭`	`NOT TRUE`
U+22AE	`⊮`	`DOES NOT FORCE`
U+22AF	`⊯`	`NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE`
U+22B0	`⊰`	`PRECEDES UNDER RELATION`
U+22B1	`⊱`	`SUCCEEDS UNDER RELATION`
U+22B2	`⊲`	`NORMAL SUBGROUP OF`
U+22B3	`⊳`	`CONTAINS AS NORMAL SUBGROUP`
U+22B4	`⊴`	`NORMAL SUBGROUP OF OR EQUAL TO`
U+22B5	`⊵`	`CONTAINS AS NORMAL SUBGROUP OR EQUAL TO`
U+22B6	`⊶`	`ORIGINAL OF`
U+22B7	`⊷`	`IMAGE OF`
U+22B8	`⊸`	`MULTIMAP`