Added Hungarian translation

Only at english, but preparing to translate.

loc/hu/symbols/2200.txt

@@ -0,0 +1,256 @@
+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