\vDashTopic RelationsAvailable in amsAllowed mode mathFrequency <0.01% of corpus formulasrank 240 of 474Glyph ⊨Unicode U+22A8 · TRUEIn TeXForm#TeXForm parses this entry as a character leaf mapped to U+22A8 (TRUE).In Relations103∈\in≤\leq≥\geq≤\le≡\equiv≥\ge≈\approx∣\mid≲\lesssim⩽\leqslant≃\simeq⊨\vDashAll 103 in Relations