U+22A7 MODELS

Vertical bar with two short horizontal lines, the models symbol in logic and model theory.

Codepoint: U+22A7
Name: MODELS
Block: Mathematical Operators
Script: Common
Category: Math Symbol (Sm)
Unicode version: 1.1
Plane: BMP
HTML: ⊧ ⊧
CSS: \22A7
UTF-8: E2 8A A7
UTF-16: 22A7
UTF-32: 000022A7

Related characters

U+22A6ASSERTION
U+22A8TRUE
U+22A5UP TACK
U+22A9FORCES
U+22A4DOWN TACK
U+22AATRIPLE VERTICAL BAR RIGHT TURNSTILE
U+22A3LEFT TACK
U+22ABDOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
U+22A2RIGHT TACK
U+22ACDOES NOT PROVE
U+22A1SQUARED DOT OPERATOR
U+22ADNOT TRUE

Mathematical Operators

256 characters in the Mathematical Operators Unicode block.

U+2200FOR ALL
U+2201COMPLEMENT
U+2202PARTIAL DIFFERENTIAL
U+2203THERE EXISTS
U+2204THERE DOES NOT EXIST
U+2205EMPTY SET
U+2206INCREMENT
U+2207NABLA
U+2208ELEMENT OF
U+2209NOT AN ELEMENT OF
U+220ASMALL ELEMENT OF
U+220BCONTAINS AS MEMBER
U+220CDOES NOT CONTAIN AS MEMBER
U+220DSMALL CONTAINS AS MEMBER
U+220EEND OF PROOF
U+220FN-ARY PRODUCT
U+2210N-ARY COPRODUCT
U+2211N-ARY SUMMATION
U+2212MINUS SIGN
U+2213MINUS-OR-PLUS SIGN
U+2214DOT PLUS
U+2215DIVISION SLASH
U+2216SET MINUS
U+2217ASTERISK OPERATOR
U+2218RING OPERATOR
U+2219BULLET OPERATOR
U+221ASQUARE ROOT
U+221BCUBE ROOT
U+221CFOURTH ROOT
U+221DPROPORTIONAL TO
U+221EINFINITY
U+221FRIGHT ANGLE
U+2220ANGLE
U+2221MEASURED ANGLE
U+2222SPHERICAL ANGLE
U+2223DIVIDES
U+2224DOES NOT DIVIDE
U+2225PARALLEL TO
U+2226NOT PARALLEL TO
U+2227LOGICAL AND
U+2228LOGICAL OR
U+2229INTERSECTION
U+222AUNION
U+222BINTEGRAL
U+222CDOUBLE INTEGRAL
U+222DTRIPLE INTEGRAL
U+222ECONTOUR INTEGRAL
U+222FSURFACE INTEGRAL
U+2230VOLUME INTEGRAL
U+2231CLOCKWISE INTEGRAL
U+2232CLOCKWISE CONTOUR INTEGRAL
U+2233ANTICLOCKWISE CONTOUR INTEGRAL
U+2234THEREFORE
U+2235BECAUSE
U+2236RATIO
U+2237PROPORTION
U+2238DOT MINUS
U+2239EXCESS
U+223AGEOMETRIC PROPORTION
U+223BHOMOTHETIC
U+223CTILDE OPERATOR
U+223DREVERSED TILDE
U+223EINVERTED LAZY S
U+223FSINE WAVE
U+2240WREATH PRODUCT
U+2241NOT TILDE
U+2242MINUS TILDE
U+2243ASYMPTOTICALLY EQUAL TO
U+2244NOT ASYMPTOTICALLY EQUAL TO
U+2245APPROXIMATELY EQUAL TO
U+2246APPROXIMATELY BUT NOT ACTUALLY EQUAL TO
U+2247NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO
U+2248ALMOST EQUAL TO
U+2249NOT ALMOST EQUAL TO
U+224AALMOST EQUAL OR EQUAL TO
U+224BTRIPLE TILDE
U+224CALL EQUAL TO
U+224DEQUIVALENT TO
U+224EGEOMETRICALLY EQUIVALENT TO
U+224FDIFFERENCE BETWEEN
U+2250APPROACHES THE LIMIT
U+2251GEOMETRICALLY EQUAL TO
U+2252APPROXIMATELY EQUAL TO OR THE IMAGE OF
U+2253IMAGE OF OR APPROXIMATELY EQUAL TO
U+2254COLON EQUALS
U+2255EQUALS COLON
U+2256RING IN EQUAL TO
U+2257RING EQUAL TO
U+2258CORRESPONDS TO
U+2259ESTIMATES
U+225AEQUIANGULAR TO
U+225BSTAR EQUALS
U+225CDELTA EQUAL TO
U+225DEQUAL TO BY DEFINITION
U+225EMEASURED BY
U+225FQUESTIONED EQUAL TO
U+2260NOT EQUAL TO
U+2261IDENTICAL TO
U+2262NOT IDENTICAL TO
U+2263STRICTLY EQUIVALENT TO
U+2264LESS-THAN OR EQUAL TO
U+2265GREATER-THAN OR EQUAL TO
U+2266LESS-THAN OVER EQUAL TO
U+2267GREATER-THAN OVER EQUAL TO
U+2268LESS-THAN BUT NOT EQUAL TO
U+2269GREATER-THAN BUT NOT EQUAL TO
U+226AMUCH LESS-THAN
U+226BMUCH GREATER-THAN
U+226CBETWEEN
U+226DNOT EQUIVALENT TO
U+226ENOT LESS-THAN
U+226FNOT GREATER-THAN
U+2270NEITHER LESS-THAN NOR EQUAL TO
U+2271NEITHER GREATER-THAN NOR EQUAL TO
U+2272LESS-THAN OR EQUIVALENT TO
U+2273GREATER-THAN OR EQUIVALENT TO
U+2274NEITHER LESS-THAN NOR EQUIVALENT TO
U+2275NEITHER GREATER-THAN NOR EQUIVALENT TO
U+2276LESS-THAN OR GREATER-THAN
U+2277GREATER-THAN OR LESS-THAN
U+2278NEITHER LESS-THAN NOR GREATER-THAN
U+2279NEITHER GREATER-THAN NOR LESS-THAN
U+227APRECEDES
U+227BSUCCEEDS
U+227CPRECEDES OR EQUAL TO
U+227DSUCCEEDS OR EQUAL TO
U+227EPRECEDES OR EQUIVALENT TO
U+227FSUCCEEDS OR EQUIVALENT TO
U+2280DOES NOT PRECEDE
U+2281DOES NOT SUCCEED
U+2282SUBSET OF
U+2283SUPERSET OF
U+2284NOT A SUBSET OF
U+2285NOT A SUPERSET OF
U+2286SUBSET OF OR EQUAL TO
U+2287SUPERSET OF OR EQUAL TO
U+2288NEITHER A SUBSET OF NOR EQUAL TO
U+2289NEITHER A SUPERSET OF NOR EQUAL TO
U+228ASUBSET OF WITH NOT EQUAL TO
U+228BSUPERSET OF WITH NOT EQUAL TO
U+228CMULTISET
U+228DMULTISET MULTIPLICATION
U+228EMULTISET UNION
U+228FSQUARE IMAGE OF
U+2290SQUARE ORIGINAL OF
U+2291SQUARE IMAGE OF OR EQUAL TO
U+2292SQUARE ORIGINAL OF OR EQUAL TO
U+2293SQUARE CAP
U+2294SQUARE CUP
U+2295CIRCLED PLUS
U+2296CIRCLED MINUS
U+2297CIRCLED TIMES
U+2298CIRCLED DIVISION SLASH
U+2299CIRCLED DOT OPERATOR
U+229ACIRCLED RING OPERATOR
U+229BCIRCLED ASTERISK OPERATOR
U+229CCIRCLED EQUALS
U+229DCIRCLED DASH
U+229ESQUARED PLUS
U+229FSQUARED MINUS
U+22A0SQUARED TIMES
U+22A1SQUARED DOT OPERATOR
U+22A2RIGHT TACK
U+22A3LEFT TACK
U+22A4DOWN TACK
U+22A5UP TACK
U+22A6ASSERTION
U+22A7MODELS
U+22A8TRUE
U+22A9FORCES
U+22AATRIPLE VERTICAL BAR RIGHT TURNSTILE
U+22ABDOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
U+22ACDOES NOT PROVE
U+22ADNOT TRUE
U+22AEDOES NOT FORCE
U+22AFNEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
U+22B0PRECEDES UNDER RELATION
U+22B1SUCCEEDS UNDER RELATION
U+22B2NORMAL SUBGROUP OF
U+22B3CONTAINS AS NORMAL SUBGROUP
U+22B4NORMAL SUBGROUP OF OR EQUAL TO
U+22B5CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
U+22B6ORIGINAL OF
U+22B7IMAGE OF
U+22B8MULTIMAP
U+22B9HERMITIAN CONJUGATE MATRIX
U+22BAINTERCALATE
U+22BBXOR
U+22BCNAND
U+22BDNOR
U+22BERIGHT ANGLE WITH ARC
U+22BFRIGHT TRIANGLE
U+22C0N-ARY LOGICAL AND
U+22C1N-ARY LOGICAL OR
U+22C2N-ARY INTERSECTION
U+22C3N-ARY UNION
U+22C4DIAMOND OPERATOR
U+22C5DOT OPERATOR
U+22C6STAR OPERATOR
U+22C7DIVISION TIMES

…and 56 more characters.