Characters (143850)

Codepoint Character Name
U+22A1 ⊡ Squared Dot Operator
U+22A2 ⊢ Right Tack
U+22A3 ⊣ Left Tack
U+22A4 ⊤ Down Tack
U+22A5 ⊥ Up Tack
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
U+22B9 ⊹ Hermitian Conjugate Matrix
U+22BA ⊺ Intercalate
U+22BB ⊻ Xor
U+22BC ⊼ Nand
U+22BD ⊽ Nor
U+22BE ⊾ Right Angle With Arc
U+22BF ⊿ Right Triangle
U+22C0 ⋀ N-Ary Logical And
U+22C1 ⋁ N-Ary Logical Or
U+22C2 ⋂ N-Ary Intersection
U+22C3 ⋃ N-Ary Union
U+22C4 ⋄ Diamond Operator
U+22C5 ⋅ Dot Operator
U+22C6 ⋆ Star Operator
U+22C7 ⋇ Division Times
U+22C8 ⋈ Bowtie
U+22C9 ⋉ Left Normal Factor Semidirect Product
U+22CA ⋊ Right Normal Factor Semidirect Product
U+22CB ⋋ Left Semidirect Product
U+22CC ⋌ Right Semidirect Product
U+22CD ⋍ Reversed Tilde Equals
U+22CE ⋎ Curly Logical Or
U+22CF ⋏ Curly Logical And
U+22D0 ⋐ Double Subset
U+22D1 ⋑ Double Superset
U+22D2 ⋒ Double Intersection
U+22D3 ⋓ Double Union
U+22D4 ⋔ Pitchfork
U+22D5 ⋕ Equal And Parallel To
U+22D6 ⋖ Less-Than With Dot
U+22D7 ⋗ Greater-Than With Dot
U+22D8 ⋘ Very Much Less-Than
U+22D9 ⋙ Very Much Greater-Than
U+22DA ⋚ Less-Than Equal To Or Greater-Than
U+22DB ⋛ Greater-Than Equal To Or Less-Than
U+22DC ⋜ Equal To Or Less-Than
U+22DD ⋝ Equal To Or Greater-Than
U+22DE ⋞ Equal To Or Precedes
U+22DF ⋟ Equal To Or Succeeds
U+22E0 ⋠ Does Not Precede Or Equal
U+22E1 ⋡ Does Not Succeed Or Equal
U+22E2 ⋢ Not Square Image Of Or Equal To
U+22E3 ⋣ Not Square Original Of Or Equal To
U+22E4 ⋤ Square Image Of Or Not Equal To
U+22E5 ⋥ Square Original Of Or Not Equal To
U+22E6 ⋦ Less-Than But Not Equivalent To
U+22E7 ⋧ Greater-Than But Not Equivalent To
U+22E8 ⋨ Precedes But Not Equivalent To
U+22E9 ⋩ Succeeds But Not Equivalent To
U+22EA ⋪ Not Normal Subgroup Of
U+22EB ⋫ Does Not Contain As Normal Subgroup
U+22EC ⋬ Not Normal Subgroup Of Or Equal To
U+22ED ⋭ Does Not Contain As Normal Subgroup Or Equal
U+22EE ⋮ Vertical Ellipsis
U+22EF ⋯ Midline Horizontal Ellipsis
U+22F0 ⋰ Up Right Diagonal Ellipsis
U+22F1 ⋱ Down Right Diagonal Ellipsis
U+22F2 ⋲ Element Of With Long Horizontal Stroke
U+22F3 ⋳ Element Of With Vertical Bar At End Of Horizontal Stroke
U+22F4 ⋴ Small Element Of With Vertical Bar At End Of Horizontal Stroke
U+22F5 ⋵ Element Of With Dot Above
U+22F6 ⋶ Element Of With Overbar
U+22F7 ⋷ Small Element Of With Overbar
U+22F8 ⋸ Element Of With Underbar
U+22F9 ⋹ Element Of With Two Horizontal Strokes
U+22FA ⋺ Contains With Long Horizontal Stroke
U+22FB ⋻ Contains With Vertical Bar At End Of Horizontal Stroke
U+22FC ⋼ Small Contains With Vertical Bar At End Of Horizontal Stroke
U+22FD ⋽ Contains With Overbar
U+22FE ⋾ Small Contains With Overbar
U+22FF ⋿ Z Notation Bag Membership
U+2300 ⌀ Diameter Sign