From e28cf595591a4d9a22bfbf28e22629995b2fbaf8 Mon Sep 17 00:00:00 2001 From: Adriani Date: Thu, 6 Aug 2020 00:26:24 +0200 Subject: [PATCH 1/6] Added some mathematical symbols --- source/locale/en/symbols.dic | 54 ++++++++++++++++++++++++++++++++++-- 1 file changed, 51 insertions(+), 3 deletions(-) diff --git a/source/locale/en/symbols.dic b/source/locale/en/symbols.dic index 9d275a758a2..201521c2a39 100644 --- a/source/locale/en/symbols.dic +++ b/source/locale/en/symbols.dic @@ -182,7 +182,7 @@ _ line most ‣ triangular bullet none ✗ x-shaped bullet none -#Mathematical Operators U+2200 to U+220F +#Mathematical Operators ∀ for all none ∁ complement none ∂ partial derivative none @@ -199,8 +199,7 @@ _ line most ∍ small contains as member none ∎ end of proof none ∏ n-ary product none - -# Miscellaneous Mathematical Operators +∐ n-ary coproduct none ∑ n-ary summation none √ square root none ∛ cube root none @@ -211,22 +210,71 @@ _ line most ∠ angle none ∥ parallel to none ∦ not parallel to none +≡ Identical to none +≢ Not identical to none ∧ logical and none ∨ logical or none ¬ logical not none ∩ intersection none ∪ union none ∫ integral none +∬ Double Integral none +∭ Tripple Integral none +∮ Contour Integral none +∯ Surface Integral none +∰ Volume Integral none +∱ Clockwise Integral none +∲ Clockwise contour Integral none +∳ Anticlockwise Contour Integral none ∴ therefore none ∵ because none ∶ ratio none ∷ proportion none +∹ Excess none +∺ Geometric proportion none +∿ Sine wave none +≀ Wreath product none +≃ Asymptotically equal to none +≄ Not asymptotically equal to none +≅ Approximately equal to none +≆ Approximately but not actually equal to none +≈ Almost Equal to none +≌ ALL equal to none +≍ Equivalent to none +≭ Not equivalent to none +≎ Geometrically equivalent to +≑ Geometrically equal tonone +≚ Equiangular to none ≤ less- than or equal to none ≥ greater-than or equal to none +≬ Between none +≠ Not equal to none +≮ Not less than none +≯ Not greater than none +≶ Less than or greater than none +≷ Greater than or less than none +≏ Difference between none +≐ Approaches the limit none ⊂ subset of none +⊄ Not a subset of none ⊃ superset of none +⊅ Not a superset of none ⊆ subset of or equal to none ⊇ superset of or equal to none +⊌ Multiset none +∘ Ring Operator none +∙ Bullet Operator none +∡ Measured Angle none +∢ Spherical Angle none +∣ Devides none +∤ Does not devide none +≔ Colon equals none +≕ Equals colon none +≙ Estimates none +≺ Precedes none +≻ Succeeds none +⊀ Does not precede none +⊁ Does not succeed none # Vulgur Fractions U+2150 to U+215E ¼ one quarter none From 1d4708a61bc078df60616d467eab6d9766bcb090 Mon Sep 17 00:00:00 2001 From: Adriani Date: Mon, 10 Aug 2020 21:32:00 +0200 Subject: [PATCH 2/6] Addressed missing tab character and a missing level --- source/locale/en/symbols.dic | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/source/locale/en/symbols.dic b/source/locale/en/symbols.dic index 201521c2a39..967ccbf480f 100644 --- a/source/locale/en/symbols.dic +++ b/source/locale/en/symbols.dic @@ -242,8 +242,8 @@ _ line most ≌ ALL equal to none ≍ Equivalent to none ≭ Not equivalent to none -≎ Geometrically equivalent to -≑ Geometrically equal tonone +≎ Geometrically equivalent to none +≑ Geometrically equal to none ≚ Equiangular to none ≤ less- than or equal to none ≥ greater-than or equal to none From 83251896fa891b50960af2238e6108c882c6ea52 Mon Sep 17 00:00:00 2001 From: Adriani Date: Wed, 12 Aug 2020 01:14:38 +0200 Subject: [PATCH 3/6] Added some more mathematical symbols and restructured for better overview --- source/locale/en/symbols.dic | 163 ++++++++++++++++++++++++----------- 1 file changed, 111 insertions(+), 52 deletions(-) diff --git a/source/locale/en/symbols.dic b/source/locale/en/symbols.dic index 967ccbf480f..61f750e9f8e 100644 --- a/source/locale/en/symbols.dic +++ b/source/locale/en/symbols.dic @@ -58,17 +58,12 @@ $ dollar all norep ( left paren most always ) right paren most always * star some -+ plus some -− minus some , comma all always - dash most . dot some / slash some : colon most norep ; semi most -< less some -> greater some -= equals some ? question all @ at some [ left bracket most @@ -167,9 +162,6 @@ _ line most ® registered some ™ Trademark some © Copyright some -± Plus or Minus some -× times some -÷ divide by some ← left arrow some ↑ up arrow some → right arrow some @@ -182,15 +174,103 @@ _ line most ‣ triangular bullet none ✗ x-shaped bullet none -#Mathematical Operators -∀ for all none -∁ complement none +#Arithmetic operators ++ plus some +− minus some +× times some +⋅ times some +⨯ times some +∕ divided by some +⁄ divided by some +÷ divide by some +∓ minus or plus some +± Plus or Minus some + +#Set operations +∖ set minus none +⨯ set times none +⊍ set union none +𝒫 power set of the set none +𝔓 power set of the set none +℘ power set of the set none +∁ complement of the set none + +#Set relations and set constructions +∅ empty set none +⊂ subset of none +⊄ Not a subset of none +⊃ superset of none +⊅ Not a superset of none +⊆ subset of or equal to none +⊇ superset of or equal to none +⊌ Multiset none + +#Equality signs += equals some +≃ Asymptotically equal to none +≄ Not asymptotically equal to none +≅ Approximately equal to none +≆ Approximately but not actually equal to none +≈ Almost Equal to none +≌ all equal to none +≍ Equivalent to none +≭ Not equivalent to none +≎ Geometrically equivalent to none +≑ Geometrically equal to none +≚ Equiangular to none +≬ Between none +≠ Not equal to none +≡ Identical to none +≢ Not identical to none +∼ is similar to none +≙ coresponds to none +≟ questioned equal to none + +#comparison signs +< less some +> greater some +≤ less- than or equal to none +≦ less- than or equal to none +≪ much smaller than none +≥ greater-than or equal to none +≧ greater-than or equal to none +≫ much bigger than none +≶ Less than or greater than none +≷ Greater than or less than none +≮ Not less than none +≯ Not greater than none + +#Mathematical constants +π Pi some +φ Golden ratio some + +#Functions +⁻ inverse some +∘ of some ∂ partial derivative none +∇ gradient of none +∆ Delta none + +#Geometry and linear Algebra +⃗ vector between none +△ triangle none +∟ right angle none +∠ angle none +∥ parallel to none +∦ not parallel to none +⟂ ortogonal to none +‖ norm of vector none +̂ normalizes none +∿ Sine wave none +∡ Measured Angle none +∢ Spherical Angle none + +#Logical operators +∀ for all none ∃ there exists none ∄ there does not exist none -∅ empty set none -∆ increment none -∇ nabla none + +#Other mathematical Operators ∈ element of none ∉ not an element of none ∊ small element of none @@ -206,15 +286,9 @@ _ line most ∜ fourth root none ∝ proportional to none ∞ infinity none -∟ right angle none -∠ angle none -∥ parallel to none -∦ not parallel to none -≡ Identical to none -≢ Not identical to none -∧ logical and none -∨ logical or none -¬ logical not none +∧ and none +∨ or none +¬ not none ∩ intersection none ∪ union none ∫ integral none @@ -232,40 +306,11 @@ _ line most ∷ proportion none ∹ Excess none ∺ Geometric proportion none -∿ Sine wave none ≀ Wreath product none -≃ Asymptotically equal to none -≄ Not asymptotically equal to none -≅ Approximately equal to none -≆ Approximately but not actually equal to none -≈ Almost Equal to none -≌ ALL equal to none -≍ Equivalent to none -≭ Not equivalent to none -≎ Geometrically equivalent to none -≑ Geometrically equal to none -≚ Equiangular to none -≤ less- than or equal to none -≥ greater-than or equal to none -≬ Between none -≠ Not equal to none -≮ Not less than none -≯ Not greater than none -≶ Less than or greater than none -≷ Greater than or less than none ≏ Difference between none ≐ Approaches the limit none -⊂ subset of none -⊄ Not a subset of none -⊃ superset of none -⊅ Not a superset of none -⊆ subset of or equal to none -⊇ superset of or equal to none -⊌ Multiset none ∘ Ring Operator none ∙ Bullet Operator none -∡ Measured Angle none -∢ Spherical Angle none ∣ Devides none ∤ Does not devide none ≔ Colon equals none @@ -296,5 +341,19 @@ _ line most ⅝ five eighths none ⅞ seven eighths none +#Number sets +𝔸 Algebraic numbers none +ℂ Complex numbers none +ℑ Imaginary part of complex number none +ℍ Quaternions none +ℕ Natural numbers none +𝕁 Nonnegative (whole) numbers none +ℚ Rational numbers none +ℝ Real numbers none +ℜ Real part of complex number none +ℤ Integers none +ℵ Aleph number none +ℶ beth number none + # Miscellaneous Technical ⌘ Mac Command key none From b6030473c610757cbf989e77a18c4d5e3405ef07 Mon Sep 17 00:00:00 2001 From: Adriani Date: Mon, 17 Aug 2020 14:54:40 +0200 Subject: [PATCH 4/6] Fixed some symols to match different languages (i.e. see issue #11502 --- source/locale/en/symbols.dic | 26 +++++++++++++++++--------- 1 file changed, 17 insertions(+), 9 deletions(-) diff --git a/source/locale/en/symbols.dic b/source/locale/en/symbols.dic index 61f750e9f8e..4f3fdaaab7d 100644 --- a/source/locale/en/symbols.dic +++ b/source/locale/en/symbols.dic @@ -112,22 +112,18 @@ _ line most ◾ black square some □ white square some ◦ white bullet some -⇒ right double arrow some ⇨ right white arrow some ➔ right-pointing arrow some ➢ right arrowhead some -⮚ right arrowhead some ❖ black diamond minus white X some ♣ black club some ♦ black diamond some -◆ black diamond some +◆ black diamond some § section all ° degrees some -« double left pointing angle bracket -» double right pointing angle bracket +« double left pointing angle bracket none +» double right pointing angle bracket none µ micro some -º ordinal some -ª superscript a some ⁰ superscript 0 some ¹ superscript 1 some ² superscript 2 some @@ -139,7 +135,6 @@ _ line most ⁸ superscript 8 some ⁹ superscript 9 some ⁺ superscript plus some -⁻ superscript minus some ⁼ superscript equals some ⁽ superscript left paren some ⁾ superscript right paren some @@ -173,6 +168,9 @@ _ line most ‡ double dagger some ‣ triangular bullet none ✗ x-shaped bullet none +⊕ circled plus none +⊖ circled minus none +⇄ right arrow over left arrow none #Arithmetic operators + plus some @@ -202,7 +200,9 @@ _ line most ⊃ superset of none ⊅ Not a superset of none ⊆ subset of or equal to none +⊈ neither a subset of nor equal to none ⊇ superset of or equal to none +⊉ neither a superset of nor equal to none ⊌ Multiset none #Equality signs @@ -221,8 +221,9 @@ _ line most ≬ Between none ≠ Not equal to none ≡ Identical to none +≣ strictly identical to none ≢ Not identical to none -∼ is similar to none +∼ similar to none ≙ coresponds to none ≟ questioned equal to none @@ -254,10 +255,12 @@ _ line most #Geometry and linear Algebra ⃗ vector between none △ triangle none +▭ rectangle none ∟ right angle none ∠ angle none ∥ parallel to none ∦ not parallel to none +⊥ perpendicular to none ⟂ ortogonal to none ‖ norm of vector none ̂ normalizes none @@ -269,6 +272,9 @@ _ line most ∀ for all none ∃ there exists none ∄ there does not exist none +⇏ does not imply none +⇒ implies none +⇐ is implied by none #Other mathematical Operators ∈ element of none @@ -354,6 +360,8 @@ _ line most ℤ Integers none ℵ Aleph number none ℶ beth number none +º ordinal some +ª ordinal some # Miscellaneous Technical ⌘ Mac Command key none From 404ee161ede527d31152d0d71929b17674dbdd4c Mon Sep 17 00:00:00 2001 From: Adriani Date: Mon, 17 Aug 2020 22:34:54 +0200 Subject: [PATCH 5/6] Addressed review actions and removed the ordinal symbols because they cause issues in many lating languages. Those ordinal symbols should be controlled by the synthesizers. --- source/locale/en/symbols.dic | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/source/locale/en/symbols.dic b/source/locale/en/symbols.dic index 4f3fdaaab7d..a2f7ab7a5ed 100644 --- a/source/locale/en/symbols.dic +++ b/source/locale/en/symbols.dic @@ -118,7 +118,7 @@ _ line most ❖ black diamond minus white X some ♣ black club some ♦ black diamond some -◆ black diamond some +◆ black diamond some § section all ° degrees some « double left pointing angle bracket none @@ -360,8 +360,6 @@ _ line most ℤ Integers none ℵ Aleph number none ℶ beth number none -º ordinal some -ª ordinal some # Miscellaneous Technical ⌘ Mac Command key none From 358cd94a42d1ba3fa0966ba1f2931d6b820a9a2c Mon Sep 17 00:00:00 2001 From: Adriani Date: Tue, 18 Aug 2020 01:49:12 +0200 Subject: [PATCH 6/6] Addressed review actions (removed the mathematical constants and the incremental symbol to avoid confusions and improved consistency in ortographics) --- source/locale/en/symbols.dic | 139 +++++++++++++++++------------------ 1 file changed, 67 insertions(+), 72 deletions(-) diff --git a/source/locale/en/symbols.dic b/source/locale/en/symbols.dic index a2f7ab7a5ed..32c8088fc97 100644 --- a/source/locale/en/symbols.dic +++ b/source/locale/en/symbols.dic @@ -46,9 +46,9 @@ negative number minus none norep $ dollar all norep £ pound all norep € euro all norep -¢ Cents all norep -¥ Yen all norep -₹ Rupee some norep +¢ cents all norep +¥ yen all norep +₹ rupee some norep ƒ florin all norep ¤ currency sign all norep % percent some @@ -155,8 +155,8 @@ _ line most ₍ subscript left paren some ₎ subscript right paren some ® registered some -™ Trademark some -© Copyright some +™ trademark some +© copyright some ← left arrow some ↑ up arrow some → right arrow some @@ -171,6 +171,7 @@ _ line most ⊕ circled plus none ⊖ circled minus none ⇄ right arrow over left arrow none +⇒ double right arrow none #Arithmetic operators + plus some @@ -182,7 +183,7 @@ _ line most ⁄ divided by some ÷ divide by some ∓ minus or plus some -± Plus or Minus some +± plus or Minus some #Set operations ∖ set minus none @@ -196,33 +197,33 @@ _ line most #Set relations and set constructions ∅ empty set none ⊂ subset of none -⊄ Not a subset of none +⊄ not a subset of none ⊃ superset of none -⊅ Not a superset of none +⊅ not a superset of none ⊆ subset of or equal to none ⊈ neither a subset of nor equal to none ⊇ superset of or equal to none ⊉ neither a superset of nor equal to none -⊌ Multiset none +⊌ multiset none #Equality signs = equals some -≃ Asymptotically equal to none -≄ Not asymptotically equal to none -≅ Approximately equal to none -≆ Approximately but not actually equal to none -≈ Almost Equal to none +≃ asymptotically equal to none +≄ not asymptotically equal to none +≅ approximately equal to none +≆ approximately but not actually equal to none +≈ almost Equal to none ≌ all equal to none -≍ Equivalent to none -≭ Not equivalent to none -≎ Geometrically equivalent to none -≑ Geometrically equal to none -≚ Equiangular to none -≬ Between none -≠ Not equal to none -≡ Identical to none +≍ equivalent to none +≭ not equivalent to none +≎ geometrically equivalent to none +≑ geometrically equal to none +≚ equiangular to none +≬ between none +≠ not equal to none +≡ identical to none ≣ strictly identical to none -≢ Not identical to none +≢ not identical to none ∼ similar to none ≙ coresponds to none ≟ questioned equal to none @@ -236,21 +237,16 @@ _ line most ≥ greater-than or equal to none ≧ greater-than or equal to none ≫ much bigger than none -≶ Less than or greater than none -≷ Greater than or less than none -≮ Not less than none -≯ Not greater than none - -#Mathematical constants -π Pi some -φ Golden ratio some +≶ less than or greater than none +≷ greater than or less than none +≮ not less than none +≯ not greater than none #Functions ⁻ inverse some ∘ of some ∂ partial derivative none ∇ gradient of none -∆ Delta none #Geometry and linear Algebra ⃗ vector between none @@ -264,16 +260,15 @@ _ line most ⟂ ortogonal to none ‖ norm of vector none ̂ normalizes none -∿ Sine wave none -∡ Measured Angle none -∢ Spherical Angle none +∿ sine wave none +∡ measured Angle none +∢ spherical Angle none #Logical operators ∀ for all none ∃ there exists none ∄ there does not exist none ⇏ does not imply none -⇒ implies none ⇐ is implied by none #Other mathematical Operators @@ -298,34 +293,34 @@ _ line most ∩ intersection none ∪ union none ∫ integral none -∬ Double Integral none -∭ Tripple Integral none -∮ Contour Integral none -∯ Surface Integral none -∰ Volume Integral none -∱ Clockwise Integral none -∲ Clockwise contour Integral none -∳ Anticlockwise Contour Integral none +∬ double Integral none +∭ tripple Integral none +∮ contour Integral none +∯ surface Integral none +∰ volume Integral none +∱ clockwise Integral none +∲ clockwise contour Integral none +∳ anticlockwise Contour Integral none ∴ therefore none ∵ because none ∶ ratio none ∷ proportion none -∹ Excess none -∺ Geometric proportion none -≀ Wreath product none -≏ Difference between none -≐ Approaches the limit none -∘ Ring Operator none -∙ Bullet Operator none -∣ Devides none -∤ Does not devide none -≔ Colon equals none -≕ Equals colon none -≙ Estimates none -≺ Precedes none -≻ Succeeds none -⊀ Does not precede none -⊁ Does not succeed none +∹ excess none +∺ geometric proportion none +≀ wreath product none +≏ difference between none +≐ approaches the limit none +∘ ring Operator none +∙ bullet Operator none +∣ divides none +∤ does not divide none +≔ colon equals none +≕ equals colon none +≙ estimates none +≺ precedes none +≻ succeeds none +⊀ does not precede none +⊁ does not succeed none # Vulgur Fractions U+2150 to U+215E ¼ one quarter none @@ -348,18 +343,18 @@ _ line most ⅞ seven eighths none #Number sets -𝔸 Algebraic numbers none -ℂ Complex numbers none -ℑ Imaginary part of complex number none -ℍ Quaternions none -ℕ Natural numbers none -𝕁 Nonnegative (whole) numbers none -ℚ Rational numbers none -ℝ Real numbers none -ℜ Real part of complex number none -ℤ Integers none -ℵ Aleph number none +𝔸 algebraic numbers none +ℂ complex numbers none +ℑ imaginary part of complex number none +ℍ quaternions none +ℕ natural numbers none +𝕁 nonnegative (whole) numbers none +ℚ rational numbers none +ℝ real numbers none +ℜ real part of complex number none +ℤ integers none +ℵ aleph number none ℶ beth number none # Miscellaneous Technical -⌘ Mac Command key none +⌘ mac Command key none