Relational operators may be represented between expressions using the notation shown in the table below:


Meaning

Equivalent

Subsumed by

Subsumes

Symbol

Character

Unicode
character

Unicode: U+2263

UTF-8: E2 89 A3

Unicode: U+2291

UTF-8: E2 8A 91

Unicode: U+2292

UTF-8: E2 8A 92


The characters ≣, ⊑ and ⊒ are only present in fonts that support the full set of Unicode characters. For example users of Microsoft tools will find these characters in the font called "Arial Unicode MS".