symbl-data/loc/en/symbols/2200.txt

2200: for All : universal quantifier
2201: Complement
2202: Partial Differential
2203: There Exists : existential quantifier
2204: There Does Not Exist
2205: Empty Set : null set
2206: Increment : laplace operator : forward difference : symmetric difference (in set theory)
2207: Nabla : backward difference : gradient, del
2208: Element of
2209: Not An Element of
220A: Small Element of
220B: Contains As Member : such that
220C: Does Not Contain As Member
220D: Small Contains As Member
220E: End of Proof : q.e.d.
220F: N-Ary Product : product sign
2210: N-Ary Coproduct : coproduct sign
2211: N-Ary Summation : summation sign
2212: Minus Sign
2213: Minus-Or-Plus Sign
2214: Dot Plus
2215: Division Slash
2216: Set Minus
2217: Asterisk Operator
2218: Ring Operator : composite function : apl jot
2219: Bullet Operator
221A: Square Root : radical sign
221B: Cube Root
221C: Fourth Root
221D: Proportional to
221E: Infinity
221F: Right Angle
2220: Angle
2221: Measured Angle
2222: Spherical Angle : angle arc
2223: Divides : such that : apl stile
2224: Does Not Divide
2225: Parallel to
2226: Not Parallel to
2227: Logical And : wedge, conjunction
2228: Logical Or : vee, disjunction
2229: Intersection : cap, hat
222A: Union : cup
222B: Integral
222C: Double Integral
222D: Triple Integral
222E: Contour Integral
222F: Surface Integral
2230: Volume Integral
2231: Clockwise Integral
2232: Clockwise Contour Integral
2233: Anticlockwise Contour Integral
2234: Therefore
2235: Because
2236: Ratio
2237: Proportion
2238: Dot Minus : saturating subtraction
2239: Excess
223A: Geometric Proportion
223B: Homothetic
223C: Tilde Operator : varies with (proportional to) : difference between : similar to : not : cycle : apl tilde
223D: Reversed Tilde : lazy s
223E: Inverted Lazy S : most positive
223F: Sine Wave : alternating current
2240: Wreath Product
2241: Not Tilde
2242: Minus Tilde
2243: Asymptotically Equal to
2244: Not Asymptotically Equal to
2245: Approximately Equal to
2246: Approximately But Not Actually Equal to
2247: Neither Approximately Nor Actually Equal to
2248: Almost Equal to : asymptotic to
2249: Not Almost Equal to
224A: Almost Equal Or Equal to
224B: Triple Tilde
224C: All Equal to
224D: Equivalent to
224E: Geometrically Equivalent to
224F: Difference Between
2250: Approaches the Limit
2251: Geometrically Equal to
2252: Approximately Equal to Or the Image of : nearly equals
2253: Image of Or Approximately Equal to
2254: Colon Equals
2255: Equals Colon
2256: Ring In Equal to
2257: Ring Equal to : approximately equal to
2258: Corresponds to
2259: Estimates : corresponds to
225A: Equiangular to
225B: Star Equals
225C: Delta Equal to : equiangular : equal to by definition
225D: Equal to By Definition
225E: Measured By
225F: Questioned Equal to
2260: Not Equal to
2261: Identical to
2262: Not Identical to
2263: Strictly Equivalent to
2264: Less-Than Or Equal to
2265: Greater-Than Or Equal to
2266: Less-Than Over Equal to
2267: Greater-Than Over Equal to
2268: Less-Than But Not Equal to
2269: Greater-Than But Not Equal to
226A: Much Less-Than
226B: Much Greater-Than
226C: Between : plaintiff, quantic
226D: Not Equivalent to
226E: Not Less-Than
226F: Not Greater-Than
2270: Neither Less-Than Nor Equal to
2271: Neither Greater-Than Nor Equal to
2272: Less-Than Or Equivalent to
2273: Greater-Than Or Equivalent to
2274: Neither Less-Than Nor Equivalent to
2275: Neither Greater-Than Nor Equivalent to
2276: Less-Than Or Greater-Than
2277: Greater-Than Or Less-Than
2278: Neither Less-Than Nor Greater-Than
2279: Neither Greater-Than Nor Less-Than
227A: Precedes : lower rank than
227B: Succeeds : higher rank than
227C: Precedes Or Equal to
227D: Succeeds Or Equal to
227E: Precedes Or Equivalent to
227F: Succeeds Or Equivalent to
2280: Does Not Precede
2281: Does Not Succeed
2282: Subset of : included in set
2283: Superset of : includes in set
2284: Not A Subset of
2285: Not A Superset of
2286: Subset of Or Equal to
2287: Superset of Or Equal to
2288: Neither A Subset of Nor Equal to
2289: Neither A Superset of Nor Equal to
228A: Subset of with Not Equal to
228B: Superset of with Not Equal to
228C: Multiset
228D: Multiset Multiplication
228E: Multiset Union : z notation bag addition
228F: Square Image of
2290: Square Original of
2291: Square Image of Or Equal to
2292: Square Original of Or Equal to
2293: Square Cap
2294: Square Cup
2295: Circled Plus : direct sum : vector pointing into page
2296: Circled Minus : symmetric difference
2297: Circled Times : tensor product : vector pointing into page
2298: Circled Division Slash : ban, disable
2299: Circled Dot Operator : direct product : vector pointing out of page
229A: Circled Ring Operator
229B: Circled Asterisk Operator
229C: Circled Equals
229D: Circled Dash
229E: Squared Plus
229F: Squared Minus
22A0: Squared Times
22A1: Squared Dot Operator
22A2: Right Tack : turnstile : proves, implies, yields : reducible
22A3: Left Tack : reverse turnstile : non-theorem, does not yield
22A4: Down Tack : top
22A5: Up Tack : base, bottom
22A6: Assertion : reduces to
22A7: Models
22A8: True : statement is true, valid : is a tautology : satisfies : results in
22A9: Forces
22AA: Triple Vertical Bar Right Turnstile
22AB: Double Vertical Bar Double Right Turnstile
22AC: Does Not Prove
22AD: Not True
22AE: Does Not Force
22AF: Negated Double Vertical Bar Double Right Turnstile
22B0: Precedes Under Relation
22B1: Succeeds Under Relation
22B2: Normal Subgroup of
22B3: Contains As Normal Subgroup
22B4: Normal Subgroup of Or Equal to
22B5: Contains As Normal Subgroup Or Equal to
22B6: Original of
22B7: Image of
22B8: Multimap
22B9: Hermitian Conjugate Matrix
22BA: Intercalate
22BB: Xor
22BC: Nand
22BD: Nor
22BE: Right Angle with Arc
22BF: Right Triangle
22C0: N-Ary Logical And
22C1: N-Ary Logical Or
22C2: N-Ary Intersection : z notation generalised intersection
22C3: N-Ary Union : z notation generalised union
22C4: Diamond Operator
22C5: Dot Operator
22C6: Star Operator
22C7: Division Times
22C8: Bowtie
22C9: Left Normal Factor Semidirect Product
22CA: Right Normal Factor Semidirect Product
22CB: Left Semidirect Product
22CC: Right Semidirect Product
22CD: Reversed Tilde Equals
22CE: Curly Logical Or
22CF: Curly Logical And
22D0: Double Subset
22D1: Double Superset
22D2: Double Intersection
22D3: Double Union
22D4: Pitchfork : proper intersection
22D5: Equal And Parallel to
22D6: Less-Than with Dot
22D7: Greater-Than with Dot
22D8: Very Much Less-Than
22D9: Very Much Greater-Than
22DA: Less-Than Equal to Or Greater-Than
22DB: Greater-Than Equal to Or Less-Than
22DC: Equal to Or Less-Than
22DD: Equal to Or Greater-Than
22DE: Equal to Or Precedes
22DF: Equal to Or Succeeds
22E0: Does Not Precede Or Equal
22E1: Does Not Succeed Or Equal
22E2: Not Square Image of Or Equal to
22E3: Not Square Original of Or Equal to
22E4: Square Image of Or Not Equal to
22E5: Square Original of Or Not Equal to
22E6: Less-Than But Not Equivalent to
22E7: Greater-Than But Not Equivalent to
22E8: Precedes But Not Equivalent to
22E9: Succeeds But Not Equivalent to
22EA: Not Normal Subgroup of
22EB: Does Not Contain As Normal Subgroup
22EC: Not Normal Subgroup of Or Equal to
22ED: Does Not Contain As Normal Subgroup Or Equal
22EE: Vertical Ellipsis
22EF: Midline Horizontal Ellipsis
22F0: Up Right Diagonal Ellipsis
22F1: Down Right Diagonal Ellipsis
22F2: Element of with Long Horizontal Stroke
22F3: Element of with Vertical Bar At End of Horizontal Stroke
22F4: Small Element of with Vertical Bar At End of Horizontal Stroke
22F5: Element of with Dot Above
22F6: Element of with Overbar
22F7: Small Element of with Overbar
22F8: Element of with Underbar
22F9: Element of with Two Horizontal Strokes
22FA: Contains with Long Horizontal Stroke
22FB: Contains with Vertical Bar At End of Horizontal Stroke
22FC: Small Contains with Vertical Bar At End of Horizontal Stroke
22FD: Contains with Overbar
22FE: Small Contains with Overbar
22FF: Z Notation Bag Membership