total update

loc/de/symbols/2200.txt

@@ -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
+2200: Für alle : universeller Quantifizierer
+2201: Ergänzen
+2202: Partielle Differentiale
+2203: Dort gibt es : existentieller Quantifizierer
+2204: Es existiert nicht
+2205: Leeres Set : Nullmenge
+2206: Zuwachs : Laplace-Operator : Vorwärtsdifferenz : symmetrischer Unterschied (in der Mengenlehre)
+2207: Nabla : Rückwärtsunterschied : Farbverlauf, del
+2208: Element von
+2209: Kein Element von
+220A: Kleines Element von
+220B: Enthält als Mitglied : so dass
+220C: Enthält nicht als Mitglied
+220D: Kleine Enthält Als Mitglied
+220E: Ende des Beweises : q.e.d.
+220F: N-Ary-Produkt : Produktzeichen
+2210: N-Ary-Koprodukt : Koproduktzeichen
+2211: N-Ary Summation : Summenzeichen
 2212: Minuszeichen
 2213: Minus-oder-Plus-Zeichen
-2214: Dot plus
-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
+2214: Punkt Plus
+2215: Division Slash
+2216: Minus einstellen
+2217: Sternchen-Operator
+2218: Ring Operator : zusammengesetzte Funktion : apl jot
+2219: Bullet Operator
+221A: Quadratwurzel : Wurzelzeichen
+221B: Kubikwurzel
+221C: Vierte Wurzel
+221D: Proportional zu
+221E: Unendlichkeit
+221F: Rechter Winkel
+2220: Winkel
+2221: Gemessener Winkel
+2222: Sphärischer Winkel : Winkelbogen
+2223: Teilt sich : so dass : apl stile
+2224: Teilt sich nicht
+2225: Neben
+2226: Nicht parallel zu
+2227: Logisch Und : Keil, Konjunktion
+2228: Logisch Or : Vee, Disjunktion
+2229: Überschneidung : Kappe
+222A: Union : Tasse
 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: Fast-Gleich-Zeichen
-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
+222C: Doppelintegral
+222D: Triple Integral
+222E: Kontur Integral
+222F: Oberflächenintegral
+2230: Volume Integral
+2231: Im Uhrzeigersinn integriert
+2232: Kontur im Uhrzeigersinn integriert
+2233: Konturintegral entgegen dem Uhrzeigersinn
+2234: Deshalb
+2235: weil
+2236: Verhältnis
+2237: Anteil
+2238: Punkt Minus : Sättigungssubtraktion
+2239: Überschuss
+223A: Geometrischer Anteil
+223B: Homothetisch
+223C: Tilde-Operator : variiert mit (proportional zu) : Unterschied zwischen : ähnlich zu : nicht : Zyklus : apl Tilde
+223D: Umgekehrte Tilde : Faulenzer
+223E: Umgekehrtes faules S : am positivsten
+223F: Sinus : Wechselstrom
+2240: Kranz Produkt
+2241: Nicht Tilde
+2242: Minus Tilde
+2243: Asymptotisch gleich
+2244: Nicht asymptotisch gleich
+2245: Ungefähr gleich
+2246: Ungefähr aber nicht wirklich gleich
+2247: Weder ungefähr noch tatsächlich gleich
+2248: Fast gleich : asymptotisch zu
+2249: Nicht fast gleich
+224A: Fast gleich oder gleich
+224B: Dreifache Tilde
+224C: Alle gleich
+224D: Gleichwertig
+224E: Geometrisch äquivalent zu
+224F: Unterschied zwischen
+2250: Nähert sich dem Limit
+2251: Geometrisch gleich
+2252: Ungefähr gleich oder das Bild von : fast gleich
+2253: Bild von oder ungefähr gleich
+2254: Doppelpunkt gleich
+2255: Gleiche Doppelpunkt
+2256: Ring gleich
+2257: Ring gleich zu : ungefähr gleich
+2258: Entspricht
+2259: Schätzungen : entspricht
+225A: Gleichwinklig zu
+225B: Stern gleich
+225C: Delta gleich : gleichwinklig : per definitionem gleich
+225D: Nach Definition gleich
+225E: Gemessen mit
+225F: Befragt gleich
+2260: Nicht gleichzusetzen mit
+2261: Identisch mit
+2262: Nicht identisch mit
+2263: Genau gleichwertig mit
+2264: Weniger als oder gleich
+2265: Größer als oder gleich wie
+2266: Weniger als über gleich
+2267: Größer als über gleich
+2268: Weniger als, aber nicht gleich
+2269: Größer als, aber nicht gleichwertig
+226A: Viel weniger als
+226B: Viel größer als
+226C: Zwischen : Kläger, quantisch
+226D: Nicht gleichwertig mit
+226E: Nicht weniger als
+226F: Nicht größer als
+2270: Weder weniger als noch gleich
+2271: Weder Größer als Gleichwertig
+2272: Weniger als oder gleichwertig mit
+2273: Größer als oder gleichwertig mit
+2274: Weder weniger als oder gleichwertig
+2275: Weder größer als gleichwertig mit
+2276: Weniger als oder Größer als
+2277: Größer als oder weniger als
+2278: Weder weniger als noch größer als
+2279: Weder Größer noch Weniger
+227A: Geht voran : niedriger Rang als
+227B: Gelingt es : höherer Rang als
+227C: Precedes oder gleich bis
+227D: Erfolgreich oder gleich bis
+227E: Vorgänger oder Äquivalent zu
+227F: Erfolgreich oder gleichwertig mit
+2280: Geht nicht voraus
+2281: Gelingt nicht
+2282: Teilmenge von : im Set enthalten
+2283: Superset Of : enthält im Set
+2284: Keine Untermenge von
+2285: Kein Supersatz von
+2286: Teilmenge oder gleich bis
+2287: Obermenge von oder gleich
+2288: Weder eine Untermenge noch Gleichheit
+2289: Weder eine Obermenge noch Gleichwertiges
+228A: Teilmenge mit Nicht gleich bis
+228B: Superset von mit Nicht gleich zu
 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
+228D: Multiset-Multiplikation
+228E: Multiset Union : z Notationsbeutel zusätzlich
+228F: Quadratisches Bild von
+2290: Quadratisches Original von
+2291: Quadratisches Bild oder gleich
+2292: Quadratisches Original oder gleich
+2293: Quadratische Kappe
+2294: Quadratische Tasse
+2295: Eingekreistes Plus : direkte Summe : Vektor, der in Seite zeigt
+2296: Eingekreiste Minus : symmetrischer Unterschied
+2297: Eingekreiste Zeiten : Tensorprodukt : Vektor, der in Seite zeigt
+2298: Eingekreister Division-Schrägstrich : verbieten, deaktivieren
+2299: Eingekreiste Punktoperator : direktes Produkt : Vektor, der aus der Seite heraus zeigt
+229A: Eingekreister Ringoperator
+229B: Eingekreister Stern-Operator : Neues Jahr, Weihnachten
+229C: Eingekreiste Gleiche
+229D: Circled Dash
+229E: Quadrat Plus
+229F: Squared Minus
+22A0: Quadratische Zeiten
+22A1: Quadrat-Punkt-Operator
+22A2: Richtige Tack : Drehkreuz : beweist, impliziert Erträge : reduzierbar
+22A3: Linke Tack : Rückdrehkreuz : Nicht-Theorem gibt nicht nach
+22A4: Down Tack : oben
+22A5: Up Tack : Boden, unten
+22A6: Behauptung : reduziert zu
+22A7: Modelle
+22A8: Wahr : Aussage ist wahr, gültig : ist eine Tautologie : erfüllt : führt in
+22A9: Kräfte
+22AA: Dreifachvertikales rechtes Drehkreuz
+22AB: Doppelte vertikale Stange Doppelte rechte Drehsperre
+22AC: Beweist nicht
+22AD: Nicht wahr
+22AE: Erzwingt nicht
+22AF: Negiertes doppeltes vertikales Balken-Doppelkreuz rechts
+22B0: Geht unter Beziehung
+22B1: Erfolg unter Relation
+22B2: Normale Untergruppe von
+22B3: Enthält eine normale Untergruppe
+22B4: Normale Untergruppe von oder gleich bis
+22B5: Enthält als normale Untergruppe oder gleich
+22B6: Original von
+22B7: Bild von
 22B8: Multimap
-22B9: Hermitian conjugate matrix
-22BA: Intercalate
+22B9: Hermitianische Konjugatmatrix
+22BA: Interkalieren
 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
+22BD: Noch
+22BE: Rechter Winkel mit Bogen
+22BF: Rechtwinkliges Dreieck
+22C0: N-Ary Logisch Und
+22C1: N-Ary Logical Or
+22C2: N-Ary-Kreuzung : z Notation generalisierte Schnittmenge
+22C3: N-Ary Union : z notation generalized union
+22C4: Diamantbediener
+22C5: Punktoperator
+22C6: Star Operator
+22C7: Divisionszeiten
+22C8: Krawatte
+22C9: Linker normaler Faktor-Halbreiter
+22CA: Rechtes normales Faktor-Halbreiterprodukt
+22CB: Linkes halbdirektes Produkt
+22CC: Rechtes Halbdirektprodukt
+22CD: Umgekehrte Tilde ist gleich
+22CE: Curly Logical Oder
+22CF: Curly Logical And
+22D0: Doppelte Teilmenge
+22D1: Doppelter Supersatz
+22D2: Doppelte Kreuzung
+22D3: Doppelte Union
+22D4: Heugabel : richtige Kreuzung
+22D5: Gleich und parallel zu
+22D6: Weniger als mit Dot
+22D7: Größer als mit Punkt
+22D8: Sehr viel weniger als
+22D9: Sehr viel größer als
+22DA: Weniger als gleich oder größer als
+22DB: Größer als gleich oder kleiner als
+22DC: Gleich oder weniger als
+22DD: Gleich oder größer als
+22DE: Gleich oder geht voraus
+22DF: Gleich oder erfolgreich
+22E0: Geht nicht voraus oder gleich
+22E1: Nicht erfolgreich oder gleich
+22E2: Kein quadratisches Bild oder gleich
+22E3: Kein quadratisches Original oder gleich
+22E4: Quadratisches Bild oder nicht gleich
+22E5: Quadratisches Original oder nicht gleich
+22E6: Weniger als, aber nicht gleichwertig
+22E7: Größer als, aber nicht gleichwertig
+22E8: Steht vor aber nicht gleichwertig zu
+22E9: Erfolgreich, aber nicht gleichwertig
+22EA: Nicht normale Untergruppe von
+22EB: Enthält keine normale Untergruppe
+22EC: Keine normale Untergruppe von oder gleich
+22ED: Enthält nicht als normale Untergruppe oder gleich
+22EE: Vertikale Ellipsis
+22EF: Mittellinie horizontale Ellipsis
+22F0: Rechte rechtwinklige Ellipsis
+22F1: Unten rechts diagonale Ellipse
+22F2: Element mit mit langem horizontalem Hub
+22F3: Element mit mit vertikaler Leiste am Ende des horizontalen Strichs
+22F4: Kleines Element mit mit vertikaler Leiste am Ende des horizontalen Strichs
+22F5: Element von mit Punkt oben
+22F6: Element von mit Overbar
+22F7: Kleines Element mit Overbar
+22F8: Element von mit Underbar
+22F9: Element mit zwei horizontalen Strichen
+22FA: Enthält einen langen horizontalen Strich
+22FB: Enthält einen vertikalen Balken am Ende des horizontalen Strichs
+22FC: Kleine Enthält mit vertikaler Leiste am Ende des horizontalen Strichs
+22FD: Enthält mit Overbar
+22FE: Kleine enthält mit Overbar
+22FF: Z-Notation-Bag-Mitgliedschaft