mirror of
https://github.com/symbl-cc/symbl-data.git
synced 2025-10-27 11:41:10 -04:00
File format
This commit is contained in:
Oleg Grigoriev
@ -1,256 +1,256 @@
|
||||
2200 : For all
|
||||
2201 : Complement
|
||||
2202 : Partial differential
|
||||
2203 : There exists
|
||||
2204 : There does not exist
|
||||
2205 : Empty set
|
||||
2206 : Increment
|
||||
2207 : Nabla
|
||||
2208 : Element of
|
||||
2209 : Not an element of
|
||||
220A : Small element of
|
||||
220B : Contains as member
|
||||
220C : Does not contain as member
|
||||
220D : Small contains as member
|
||||
220E : End of proof
|
||||
220F : N-ary product
|
||||
2210 : N-ary coproduct
|
||||
2211 : N-ary summation
|
||||
2212 : Minuszeichen
|
||||
2213 : Halbgeviertstrich
|
||||
2214 : Geviertstrich
|
||||
2215 : Division slash
|
||||
2216 : Set minus
|
||||
2217 : Asterisk operator
|
||||
2218 : Ring operator
|
||||
2219 : Bullet operator
|
||||
221A : Square root
|
||||
221B : Cube root
|
||||
221C : Fourth root
|
||||
221D : Proportional to
|
||||
221E : Infinity
|
||||
221F : Right angle
|
||||
2220 : Angle
|
||||
2221 : Measured angle
|
||||
2222 : Spherical angle
|
||||
2223 : Divides
|
||||
2224 : Does not divide
|
||||
2225 : Parallel to
|
||||
2226 : Not parallel to
|
||||
2227 : Logical and
|
||||
2228 : Logical or
|
||||
2229 : Intersection
|
||||
222A : Union
|
||||
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
|
||||
2239 : Excess
|
||||
223A : Geometric proportion
|
||||
223B : Homothetic
|
||||
223C : Tilde operator
|
||||
223D : Reversed tilde
|
||||
223E : Inverted lazy s
|
||||
223F : Sine wave
|
||||
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
|
||||
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
|
||||
2253 : Image of or approximately equal to
|
||||
2254 : Colon equals
|
||||
2255 : Equals colon
|
||||
2256 : Ring in equal to
|
||||
2257 : Ring equal to
|
||||
2258 : Corresponds to
|
||||
2259 : Estimates
|
||||
225A : Equiangular to
|
||||
225B : Star equals
|
||||
225C : Delta equal to
|
||||
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
|
||||
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
|
||||
227B : Succeeds
|
||||
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
|
||||
2283 : Superset of
|
||||
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
|
||||
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
|
||||
2296 : Circled minus
|
||||
2297 : Circled times
|
||||
2298 : Circled division slash
|
||||
2299 : Circled dot operator
|
||||
229A : Circled ring operator
|
||||
229B : Eingekreister Sternoperator
|
||||
229C : Circled equals
|
||||
229D : Circled dash
|
||||
229E : Squared plus
|
||||
229F : Squared minus
|
||||
22A0 : Squared times
|
||||
22A1 : Squared dot operator
|
||||
22A2 : Right tack
|
||||
22A3 : Left tack
|
||||
22A4 : Down tack
|
||||
22A5 : Up tack
|
||||
22A6 : Assertion
|
||||
22A7 : Models
|
||||
22A8 : True
|
||||
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
|
||||
22C3 : N-ary 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
|
||||
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
|
||||
2200: For all
|
||||
2201: Complement
|
||||
2202: Partial differential
|
||||
2203: There exists
|
||||
2204: There does not exist
|
||||
2205: Empty set
|
||||
2206: Increment
|
||||
2207: Nabla
|
||||
2208: Element of
|
||||
2209: Not an element of
|
||||
220A: Small element of
|
||||
220B: Contains as member
|
||||
220C: Does not contain as member
|
||||
220D: Small contains as member
|
||||
220E: End of proof
|
||||
220F: N-ary product
|
||||
2210: N-ary coproduct
|
||||
2211: N-ary summation
|
||||
2212: Minuszeichen
|
||||
2213: Halbgeviertstrich
|
||||
2214: Geviertstrich
|
||||
2215: Division slash
|
||||
2216: Set minus
|
||||
2217: Asterisk operator
|
||||
2218: Ring operator
|
||||
2219: Bullet operator
|
||||
221A: Square root
|
||||
221B: Cube root
|
||||
221C: Fourth root
|
||||
221D: Proportional to
|
||||
221E: Infinity
|
||||
221F: Right angle
|
||||
2220: Angle
|
||||
2221: Measured angle
|
||||
2222: Spherical angle
|
||||
2223: Divides
|
||||
2224: Does not divide
|
||||
2225: Parallel to
|
||||
2226: Not parallel to
|
||||
2227: Logical and
|
||||
2228: Logical or
|
||||
2229: Intersection
|
||||
222A: Union
|
||||
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
|
||||
2239: Excess
|
||||
223A: Geometric proportion
|
||||
223B: Homothetic
|
||||
223C: Tilde operator
|
||||
223D: Reversed tilde
|
||||
223E: Inverted lazy s
|
||||
223F: Sine wave
|
||||
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
|
||||
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
|
||||
2253: Image of or approximately equal to
|
||||
2254: Colon equals
|
||||
2255: Equals colon
|
||||
2256: Ring in equal to
|
||||
2257: Ring equal to
|
||||
2258: Corresponds to
|
||||
2259: Estimates
|
||||
225A: Equiangular to
|
||||
225B: Star equals
|
||||
225C: Delta equal to
|
||||
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
|
||||
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
|
||||
227B: Succeeds
|
||||
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
|
||||
2283: Superset of
|
||||
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
|
||||
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
|
||||
2296: Circled minus
|
||||
2297: Circled times
|
||||
2298: Circled division slash
|
||||
2299: Circled dot operator
|
||||
229A: Circled ring operator
|
||||
229B: Eingekreister Sternoperator
|
||||
229C: Circled equals
|
||||
229D: Circled dash
|
||||
229E: Squared plus
|
||||
229F: Squared minus
|
||||
22A0: Squared times
|
||||
22A1: Squared dot operator
|
||||
22A2: Right tack
|
||||
22A3: Left tack
|
||||
22A4: Down tack
|
||||
22A5: Up tack
|
||||
22A6: Assertion
|
||||
22A7: Models
|
||||
22A8: True
|
||||
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
|
||||
22C3: N-ary 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
|
||||
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
|
||||
|
||||
Reference in New Issue
Block a user