From 116302a5bf1f41e51a127d5ceb1e06ae3011ce16 Mon Sep 17 00:00:00 2001
From: alex <alex@b9310e46-f624-0410-8ea1-cfbb3a30dc96>
Date: Fri, 18 Sep 2009 08:32:58 +0000
Subject: =?UTF-8?q?Kleine=20Korrekturen=20an=20den=20Pfeilen,=20=E2=89=AA?=
 =?UTF-8?q?=E2=89=AB=20eingef=C3=BCgt.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

git-svn-id: https://svn.neo-layout.org@2098 b9310e46-f624-0410-8ea1-cfbb3a30dc96
---
 Compose/src/math.module | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/Compose/src/math.module b/Compose/src/math.module
index 7dd6894..6a7cd94 100644
--- a/Compose/src/math.module
+++ b/Compose/src/math.module
@@ -157,13 +157,16 @@
 <Multi_key> <asterisk> <asterisk>          : "∗"   U2217 # ASTERISK OPERATOR
 <Multi_key> <KP_Multiply> <KP_Multiply>    : "∗"   U2217 # ASTERISK OPERATOR
 <Multi_key> <bar> <multiply> <bar>         : "⋈"   U22C8 # BOWTIE
-<Multi_key> <bar> <multiply>               : "⋉"   U22C9 # LEFT NORMAL FACTOR SEMIDIRECT PRODUCT
+<Multi_key> <bar> <multiply> <space>       : "⋉"   U22C9 # LEFT NORMAL FACTOR SEMIDIRECT PRODUCT
 <Multi_key> <multiply> <bar>               : "⋊"   U22CA # RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT
 <U21BB> <asciitilde>                       : "≀"   U2240 # WREATH PRODUCT
 <U21BB> <U2221>                            : "∢"   U2222 # SPHERICAL ANGLE
 <U21BB> <ampersand>                        : "⅋"   U214B # TURNED AMPERSAND
 <Multi_key> <d> <a> <g>                    : "†"   U2020 # DAGGER
 <Multi_key> <minus> <colon>                : "∹"   U2239 # EXCESS
+# overwrites »« combinations
+<Multi_key> <greater> <greater>            : "≫"  U226B # MUCH GREATER-THAN
+<Multi_key> <less> <less>                  : "≪"  U226A # MUCH LESS-THAN
 
 # mathematical negations
 <Multi_key> <slash> <equal>                                 : "≠"   U2260 # NOT EQUAL TO
@@ -250,8 +253,6 @@
 <Multi_key> <v> <bar>                          : "↓"   U2193 # DOWNWARDS ARROW
 <Multi_key> <less> <rightarrow>                : "↔"   U2194 # LEFT RIGHT ARROW
 <Multi_key> <leftarrow> <greater>              : "↔"   U2194 # LEFT RIGHT ARROW
-<Multi_key> <v> <uparrow>                      : "↕"   U2195 # UP DOWN ARROW
-<Multi_key> <downarrow> <asciicircum>          : "↕"   U2195 # UP DOWN ARROW
 <Multi_key> <asciicircum> <bar> <v>            : "↕"   U2195 # UP DOWN ARROW
 <Multi_key> <backslash> <asciicircum>          : "↖"   U2196 # NORTH WEST ARROW
 <Multi_key> <slash> <asciicircum>              : "↗"   U2197 # NORTH EAST ARROW
-- 
cgit v1.2.3