From 540b8c41705673e84846ee8fc75acc242eee3afb Mon Sep 17 00:00:00 2001 From: pascal Date: Thu, 2 Apr 2009 11:46:44 +0000 Subject: =?UTF-8?q?Erg=C3=A4nzungen=20von=20Alex=20(etliche=20mathematisch?= =?UTF-8?q?e=20Zeichen)=20hineinkopiert,=20verbessert,=20(per=20Auge)=20ko?= =?UTF-8?q?ntrolliert,=20einige=20Fehler=20beseitigt,=20auf=20Doppeldefini?= =?UTF-8?q?tionen=20gepr=C3=BCft.=20Es=20ist=20noch=20kein=20umfangreicher?= =?UTF-8?q?=20Test=20erfolgt!?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit git-svn-id: https://svn.neo-layout.org@1778 b9310e46-f624-0410-8ea1-cfbb3a30dc96 --- Compose/Compose.neo | 189 ++++++++++++++++++++++++++++++++++++++++++++-------- 1 file changed, 163 insertions(+), 26 deletions(-) (limited to 'Compose') diff --git a/Compose/Compose.neo b/Compose/Compose.neo index 80bfa43..22a5e03 100644 --- a/Compose/Compose.neo +++ b/Compose/Compose.neo @@ -1181,10 +1181,17 @@ : "≅" U2245 # APPROXIMATELY EQUAL TO : "≈" U2248 # ALMOST EQUAL TO : "≈" U2248 # ALMOST EQUAL TO + : "≃" U2243 # ASYMPTOTICALLY EQUAL TO + : "≡" U2261 # IDENTICAL TO + : "≔" U2254 # COLON EQUALS + : "≕" U2255 # EQUALS COLON + : "≕" U2255 # EQUALS COLON : "≥" U2265 # GREATER-THAN OR EQUAL TO : "≥" U2265 # GREATER-THAN OR EQUAL TO : "≤" U2264 # LESS-THAN OR EQUAL TO : "≤" U2264 # LESS-THAN OR EQUAL TO + : "≤" U2264 # LESS-THAN OR EQUAL TO + : "≥" U2265 # GREATER-THAN OR EQUAL TO : "≗" U2257 # RING EQUAL TO : "≗" U2257 # RING EQUAL TO : "≗" U2257 # RING EQUAL TO @@ -1197,6 +1204,8 @@ : "∑" U2211 # N-ARY SUMMATION : "∫" U222B # INTEGRAL

: "∏" U220F # N-ARY PRODUCT + : "∐" U2210 # N-ARY COPRODUCT + : "∐" U2210 # N-ARY COPRODUCT

: "∝" U221D # PROPORTIONAL TO : "∝" U221D # PROPORTIONAL TO : "ℜ" U211C # BLACK-LETTER CAPITAL R @@ -1204,8 +1213,10 @@ : "ℑ" U2111 # BLACK-LETTER CAPITAL I : "ℑ" U2111 # BLACK-LETTER CAPITAL I : "∋" U220B # CONTAINS AS MEMBER -

: "ℵ" U2135 # ALEF SYMBOL : "ℵ" U2135 # ALEF SYMBOL + : "ℶ" U2136 # BET SYMBOL + : "ℷ" U2137 # GIMEL SYMBOL + : "ℸ" U2138 # DALET SYMBOL : "⋁" U22C1 # N-ARY LOGICAL OR : "⋀" U22C0 # N-ARY LOGICAL AND : "⋃" U22C3 # N-ARY UNION @@ -1215,12 +1226,38 @@ : "⨀" U2A00 # N-ARY CIRCLED DOT OPERATOR : "⨁" U2A01 # N-ARY CIRCLED PLUS OPERATOR : "⨂" U2A02 # N-ARY CIRCLED TIMES OPERATOR - : "≡" U2261 # IDENTICAL TO - : "≔" U2254 # COLON EQUALS - : "≤" U2264 # LESS-THAN OR EQUAL TO - : "≥" U2265 # GREATER-THAN OR EQUAL TO : "⊆" U2286 # SUBSET OF OR EQUAL TO : "⊇" U2287 # SUPERSET OF OR EQUAL TO + : "⊲" U22B2 # NORMAL SUBGROUP OF + : "⊲" U22B2 # NORMAL SUBGROUP OF + : "⊳" U22B3 # CONTAINS AS NORMAL SUBGROUP + : "⊴" U22B4 # NORMAL SUBGROUP OF OR EQUAL TO + : "⊴" U22B4 # NORMAL SUBGROUP OF OR EQUAL TO + : "⊵" U22B5 # CONTAINS AS NORMAL SUBGROUP OR EQUAL TO + : "⊵" U22B5 # CONTAINS AS NORMAL SUBGROUP OR EQUAL TO + : "∖" U2216 # SET MINUS + : "∣" U2223 # DIVIDES + : "‖" U2016 # DOUBLE VERTICAL LINE + : "⊢" U22A2 # RIGHT TACK + : "⊣" U22A3 # LEFT TACK + : "⊨" U22A8 # TRUE + : "⊨" U22A8 # TRUE + : "⊤" U22A4 # DOWN TACK + : "⊕" U2295 # CIRCLED PLUS + : "⊕" U2295 # CIRCLED PLUS + : "⊖" U2296 # CIRCLED MINUS + : "⊖" U2296 # CIRCLED MINUS + : "⊗" U2297 # CIRCLED TIMES + : "⊘" U2298 # CIRCLED DIVISION SLASH + : "⊘" U2298 # CIRCLED DIVISION SLASH + : "⊙" U2299 # CIRCLED DOT OPERATOR + : "⊚" U229A # CIRCLED RING OPERATOR + : "⊚" U229A # CIRCLED RING OPERATOR + : "⊛" U229B # CIRCLED ASTERISK OPERATOR + : "⊜" U229C # CIRCLED EQUALS + : "⊜" U229C # CIRCLED EQUALS + : "∗" U2217 # ASTERISK OPERATOR + : "∗" U2217 # ASTERISK OPERATOR # mathematical negations : "≠" U2260 # NOT EQUAL TO @@ -1230,6 +1267,9 @@ : "≠" U2260 # NOT EQUAL TO : "≠" U2260 # NOT EQUAL TO : "≠" U2260 # NOT EQUAL TO + : "⇏" U21CF # RIGHTWARDS DOUBLE ARROW WITH STROKE + : "⇍" U21CD # LEFTWARDS DOUBLE ARROW WITH STROKE + : "⇎" U21CE # LEFT RIGHT DOUBLE ARROW WITH STROKE : "∄" U2204 # THERE DOES NOT EXIST : "∄" U2204 # THERE DOES NOT EXIST : "∄" U2204 # THERE DOES NOT EXIST @@ -1269,6 +1309,12 @@ <0> : "∅" U2205 # EMPTY SET <0> : "∅" U2205 # EMPTY SET <0> : "∅" U2205 # EMPTY SET + : "⋪" U22EA # NOT NORMAL SUBGROUP OF +< : "⋫" U22EB # DOES NOT CONTAIN AS NORMAL SUBGROUP + : "⋬" U22EC # NOT NORMAL SUBGROUP OF OR EQUAL TO + : "⋬" U22EC # NOT NORMAL SUBGROUP OF OR EQUAL TO + : "⋭" U22ED # DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL + : "⋭" U22ED # DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL # Vector : "⃗" U20D7 # COMBINING RIGHT ARROW ABOVE @@ -1280,7 +1326,7 @@ : "←" U2190 # LEFTWARDS ARROW : "↑" U2191 # UPWARDS ARROW : "→" U2192 # RIGHTWARDS ARROW - : "↓" U2193 # DOWNWARDS ARROW + : "↓" U2193 # DOWNWARDS ARROW : "↖" U2196 # NORTH WEST ARROW : "↗" U2197 # NORTH EAST ARROW : "↘" U2198 # SOUTH EAST ARROW @@ -1289,8 +1335,6 @@ : "↥" U21A5 # UPWARDS ARROW FROM BAR : "↦" U21A6 # RIGHTWARDS ARROW FROM BAR : "↧" U21A7 # DOWNWARDS ARROW FROM BAR - : "↦" U21A6 # RIGHTWARDS ARROW FROM BAR - : "⇄" U21C4 # RIGHTWARDS ARROW OVER LEFTWARDS ARROW : "⇅" U21C5 # UPWARDS ARROW LEFTWARDS OF DOWNWARDS ARROW : "⇆" U21C6 # LEFTWARDS ARROW OVER RIGHTWARDS ARROW @@ -1299,6 +1343,7 @@ : "⇉" U21C9 # RIGHTWARDS PAIRED ARROWS : "⇊" U21CA # DOWNWARDS PAIRED ARROWS : "⇵" U21F5 # DOWNWARDS ARROW LEFTWARDS OF UPWARDS ARROW + : "↯" U21AF # DOWNWARDS ZIGZAG ARROW # superscripts and subscripts : "⁻" U207B # SUPERSCRIPT MINUS @@ -1337,24 +1382,24 @@ :"ʸ" U02B8 # MODIFIER LETTER SMALL Y :"ᶻ" U1DBB # MODIFIER LETTER SMALL Z - :"ᴬ" U+1D2C MODIFIER LETTER CAPITAL A - :"ᴮ" U+1D2E MODIFIER LETTER CAPITAL B - :"ᴰ" U+1D30 MODIFIER LETTER CAPITAL D - :"ᴱ" U+1D31 MODIFIER LETTER CAPITAL E - :"ᴳ" U+1D33 MODIFIER LETTER CAPITAL G - :"ᴴ" U+1D34 MODIFIER LETTER CAPITAL H - :"ᴵ" U+1D35 MODIFIER LETTER CAPITAL I - :"ᴶ" U+1D36 MODIFIER LETTER CAPITAL J - :"ᴷ" U+1D37 MODIFIER LETTER CAPITAL K - :"ᴸ" U+1D38 MODIFIER LETTER CAPITAL L - :"ᴹ" U+1D39 MODIFIER LETTER CAPITAL M - :"ᴺ" U+1D3A MODIFIER LETTER CAPITAL N - :"ᴼ" U+1D3C MODIFIER LETTER CAPITAL O -

:"ᴾ" U+1D3E MODIFIER LETTER CAPITAL P - :"ᴿ" U+1D3F MODIFIER LETTER CAPITAL R - :"ᵀ" U+1D40 MODIFIER LETTER CAPITAL T - :"ᵁ" U+1D41 MODIFIER LETTER CAPITAL U - :"ᵂ" U+1D42 MODIFIER LETTER CAPITAL W + :"ᴬ" U1D2C # MODIFIER LETTER CAPITAL A + :"ᴮ" U1D2E # MODIFIER LETTER CAPITAL B + :"ᴰ" U1D30 # MODIFIER LETTER CAPITAL D + :"ᴱ" U1D31 # MODIFIER LETTER CAPITAL E + :"ᴳ" U1D33 # MODIFIER LETTER CAPITAL G + :"ᴴ" U1D34 # MODIFIER LETTER CAPITAL H + :"ᴵ" U1D35 # MODIFIER LETTER CAPITAL I + :"ᴶ" U1D36 # MODIFIER LETTER CAPITAL J + :"ᴷ" U1D37 # MODIFIER LETTER CAPITAL K + :"ᴸ" U1D38 # MODIFIER LETTER CAPITAL L + :"ᴹ" U1D39 # MODIFIER LETTER CAPITAL M + :"ᴺ" U1D3A # MODIFIER LETTER CAPITAL N + :"ᴼ" U1D3C # MODIFIER LETTER CAPITAL O +

:"ᴾ" U1D3E # MODIFIER LETTER CAPITAL P + :"ᴿ" U1D3F # MODIFIER LETTER CAPITAL R + :"ᵀ" U1D40 # MODIFIER LETTER CAPITAL T + :"ᵁ" U1D41 # MODIFIER LETTER CAPITAL U + :"ᵂ" U1D42 # MODIFIER LETTER CAPITAL W : "ᵅ" U1D45 # MODIFIER LETTER SMALL ALPHA : "ᵝ" U1D5D # MODIFIER LETTER SMALL BETA @@ -1411,6 +1456,97 @@ : "ℳ" U2133 # SCRIPT CAPITAL M : "ℴ" U2134 # SCRIPT SMALL O +# double-struck letters + : "�" U1D538 # MATHEMATICAL DOUBLE-STRUCK CAPITAL A + : "𝔹" U1D539 # MATHEMATICAL DOUBLE-STRUCK CAPITAL B + : "ℂ" U02102 # DOUBLE-STRUCK CAPITAL C + : "𝔻" U1D53B # MATHEMATICAL DOUBLE-STRUCK CAPITAL D + : "𝔼" U1D53C # MATHEMATICAL DOUBLE-STRUCK CAPITAL E + : "𝔽" U1D53D # MATHEMATICAL DOUBLE-STRUCK CAPITAL F + : "𝔾" U1D53E # MATHEMATICAL DOUBLE-STRUCK CAPITAL G + : "ℍ" U0210D # DOUBLE-STRUCK CAPITAL H + : "𝕀" U1D540 # MATHEMATICAL DOUBLE-STRUCK CAPITAL I + : "𝕁" U1D541 # MATHEMATICAL DOUBLE-STRUCK CAPITAL J + : "𝕂" U1D542 # MATHEMATICAL DOUBLE-STRUCK CAPITAL K + : "𝕃" U1D543 # MATHEMATICAL DOUBLE-STRUCK CAPITAL L + : "�" U1D544 # MATHEMATICAL DOUBLE-STRUCK CAPITAL M + : "ℕ" U02115 # DOUBLE-STRUCK CAPITAL N + : "𝕆" U1D546 # MATHEMATICAL DOUBLE-STRUCK CAPITAL O +

: "ℙ" U02119 # DOUBLE-STRUCK CAPITAL P + : "ℚ" U0211A # DOUBLE-STRUCK CAPITAL Q + : "ℝ" U0211D # DOUBLE-STRUCK CAPITAL R + : "𝕊" U1D54A # MATHEMATICAL DOUBLE-STRUCK CAPITAL S + : "𝕋" U1D54B # MATHEMATICAL DOUBLE-STRUCK CAPITAL T + : "�" U1D54C # MATHEMATICAL DOUBLE-STRUCK CAPITAL U + : "�" U1D54D # MATHEMATICAL DOUBLE-STRUCK CAPITAL V + : "�" U1D54E # MATHEMATICAL DOUBLE-STRUCK CAPITAL W + : "�" U1D54F # MATHEMATICAL DOUBLE-STRUCK CAPITAL X + : "𝕐" U1D550 # MATHEMATICAL DOUBLE-STRUCK CAPITAL Y + : "ℤ" U02124 # DOUBLE-STRUCK CAPITAL Z + : "�" U1D552 # MATHEMATICAL DOUBLE-STRUCK SMALL A + : "𝕓" U1D553 # MATHEMATICAL DOUBLE-STRUCK SMALL B + : "𝕔" U1D554 # MATHEMATICAL DOUBLE-STRUCK SMALL C + : "�" U1D555 # MATHEMATICAL DOUBLE-STRUCK SMALL D + : "�" U1D556 # MATHEMATICAL DOUBLE-STRUCK SMALL E + : "𝕗" U1D557 # MATHEMATICAL DOUBLE-STRUCK SMALL F + : "𝕘" U1D558 # MATHEMATICAL DOUBLE-STRUCK SMALL G + : "�" U1D559 # MATHEMATICAL DOUBLE-STRUCK SMALL H + : "𝕚" U1D55A # MATHEMATICAL DOUBLE-STRUCK SMALL I + : "�" U1D55B # MATHEMATICAL DOUBLE-STRUCK SMALL J + : "𝕜" U1D55C # MATHEMATICAL DOUBLE-STRUCK SMALL K + : "�" U1D55D # MATHEMATICAL DOUBLE-STRUCK SMALL L + : "�" U1D55E # MATHEMATICAL DOUBLE-STRUCK SMALL M + : "�" U1D55F # MATHEMATICAL DOUBLE-STRUCK SMALL N + : "𝕠" U1D560 # MATHEMATICAL DOUBLE-STRUCK SMALL O +

: "𝕡" U1D561 # MATHEMATICAL DOUBLE-STRUCK SMALL P + : "�" U1D562 # MATHEMATICAL DOUBLE-STRUCK SMALL Q + : "𝕣" U1D563 # MATHEMATICAL DOUBLE-STRUCK SMALL R + : "𝕤" U1D564 # MATHEMATICAL DOUBLE-STRUCK SMALL S + : "𝕥" U1D565 # MATHEMATICAL DOUBLE-STRUCK SMALL T + : "�" U1D566 # MATHEMATICAL DOUBLE-STRUCK SMALL U + : "𝕧" U1D567 # MATHEMATICAL DOUBLE-STRUCK SMALL V + : "�" U1D568 # MATHEMATICAL DOUBLE-STRUCK SMALL W + : "�" U1D569 # MATHEMATICAL DOUBLE-STRUCK SMALL X + : "𝕪" U1D56A # MATHEMATICAL DOUBLE-STRUCK SMALL Y + : "𝕫" U1D56B # MATHEMATICAL DOUBLE-STRUCK SMALL Z + <0> : "�" U1D7D8 # MATHEMATICAL DOUBLE-STRUCK DIGIT ZERO + : "�" U1D7D8 # MATHEMATICAL DOUBLE-STRUCK DIGIT ZERO + <1> : "�" U1D7D9 # MATHEMATICAL DOUBLE-STRUCK DIGIT ONE + : "�" U1D7D9 # MATHEMATICAL DOUBLE-STRUCK DIGIT ONE + <2> : "𝟚" U1D7DA # MATHEMATICAL DOUBLE-STRUCK DIGIT TWO + : "𝟚" U1D7DA # MATHEMATICAL DOUBLE-STRUCK DIGIT TWO + <3> : "�" U1D7DB # MATHEMATICAL DOUBLE-STRUCK DIGIT THREE + : "�" U1D7DB # MATHEMATICAL DOUBLE-STRUCK DIGIT THREE + <4> : "𝟜" U1D7DC # MATHEMATICAL DOUBLE-STRUCK DIGIT FOUR + : "𝟜" U1D7DC # MATHEMATICAL DOUBLE-STRUCK DIGIT FOUR + <5> : "𝟝" U1D7DD # MATHEMATICAL DOUBLE-STRUCK DIGIT FIVE + : "𝟝" U1D7DD # MATHEMATICAL DOUBLE-STRUCK DIGIT FIVE + <6> : "𝟞" U1D7DE # MATHEMATICAL DOUBLE-STRUCK DIGIT SIX + : "𝟞" U1D7DE # MATHEMATICAL DOUBLE-STRUCK DIGIT SIX + <7> : "𝟟" U1D7DF # MATHEMATICAL DOUBLE-STRUCK DIGIT SEVEN + : "𝟟" U1D7DF # MATHEMATICAL DOUBLE-STRUCK DIGIT SEVEN + <8> : "𝟠" U1D7E0 # MATHEMATICAL DOUBLE-STRUCK DIGIT EIGHT + : "𝟠" U1D7E0 # MATHEMATICAL DOUBLE-STRUCK DIGIT EIGHT + <9> : "�" U1D7E1 # MATHEMATICAL DOUBLE-STRUCK DIGIT NINE + : "�" U1D7E1 # MATHEMATICAL DOUBLE-STRUCK DIGIT NINE + : "ℽ" U0213D # DOUBLE-STRUCK SMALL GAMMA + : "ℾ" U0213E # DOUBLE-STRUCK CAPITAL GAMMA + : "ℼ" U0213C # DOUBLE-STRUCK SMALL PI + : "ℿ" U0213F # DOUBLE-STRUCK CAPITAL PI + +# white brackets (double-struck) + : "⦅" U2985 # LEFT WHITE PARENTHESIS + : "⦅" U2985 # LEFT WHITE PARENTHESIS + : "⦆" U2986 # RIGHT WHITE PARENTHESIS + : "⦆" U2986 # RIGHT WHITE PARENTHESIS + : "⟦" U27E6 # MATHEMATICAL LEFT WHITE SQUARE BRACKET + : "⟦" U27E6 # MATHEMATICAL LEFT WHITE SQUARE BRACKET + : "⟧" U27E7 # MATHEMATICAL RIGHT WHITE SQUARE BRACKET + : "⟧" U27E7 # MATHEMATICAL RIGHT WHITE SQUARE BRACKET + : "⦃" U2983 # LEFT WHITE CURLY BRACKET + : "⦃" U2983 # LEFT WHITE CURLY BRACKET + : "⦄" U2984 # RIGHT WHITE CURLY BRACKET + : "⦄" U2984 # RIGHT WHITE CURLY BRACKET # physical symbols # physical constants @@ -1430,6 +1566,7 @@ : "°" U00B0 # DEGREE SIGN : "′" U2032 # PRIME : "″" U2033 # DOUBLE PRIME + <3> : "‴" U2034 # TRIPLE PRIME : "㎕" U3395 # SQUARE MU L : "㎕" U3395 # SQUARE MU L : "㎖" U3396 # SQUARE ML -- cgit v1.2.3