From 5d8eaff14f98a6a345e316a7f2db91c78ed375a9 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Andr=C3=A9=20P=C3=B6nitz?= <poenitz@gmx.net>
Date: Fri, 14 Feb 2003 16:02:24 +0000
Subject: [PATCH] Fix.

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@6156 a592a061-630c-0410-9148-cb99ea01b6c8
---
 src/mathed/math_support.C | 76 +++++++++++++++++++--------------------
 1 file changed, 38 insertions(+), 38 deletions(-)

diff --git a/src/mathed/math_support.C b/src/mathed/math_support.C
index 5bcdbfd8bd..f68869926c 100644
--- a/src/mathed/math_support.C
+++ b/src/mathed/math_support.C
@@ -62,7 +62,7 @@ namespace {
 
 
 double const parenthHigh[] = {
-13,
+	2, 13,
 	0.9840, 0.0014, 0.7143, 0.0323, 0.4603, 0.0772,
 	0.2540, 0.1278, 0.1746, 0.1966, 0.0952, 0.3300,
 	0.0950, 0.5000, 0.0952, 0.6700, 0.1746, 0.8034,
@@ -73,7 +73,7 @@ double const parenthHigh[] = {
 
 
 double const parenth[] = {
-13,
+	2, 13,
 	0.9930, 0.0071, 0.7324, 0.0578, 0.5141, 0.1126,
 	0.3380, 0.1714, 0.2183, 0.2333, 0.0634, 0.3621,
 	0.0141, 0.5000, 0.0563, 0.6369, 0.2113, 0.7647,
@@ -84,7 +84,7 @@ double const parenth[] = {
 
 
 double const brace[] = {
-21,
+	2, 21,
 	0.9492, 0.0020, 0.9379, 0.0020, 0.7458, 0.0243,
 	0.5819, 0.0527, 0.4859, 0.0892, 0.4463, 0.1278,
 	0.4463, 0.3732, 0.4011, 0.4199, 0.2712, 0.4615,
@@ -97,139 +97,139 @@ double const brace[] = {
 
 
 double const arrow[] = {
-
+	4, 7,
 	0.0150, 0.7500, 0.2000, 0.6000, 0.3500, 0.3500,
 	0.5000, 0.0500, 0.6500, 0.3500, 0.8000, 0.6000,
 	0.9500, 0.7500,
-0.1500,
+	3, 0.5000, 0.1500, 0.5000, 0.9500,
 	0
 };
 
 
 double const Arrow[] = {
-
+	4, 7,
 	0.0150, 0.7500, 0.2000, 0.6000, 0.3500, 0.3500,
 	0.5000, 0.0500, 0.6500, 0.3500, 0.8000, 0.6000,
 	0.9500, 0.7500,
-0.5000,
-0.5000,
+	3, 0.3500, 0.5000, 0.3500, 0.9500,
+	3, 0.6500, 0.5000, 0.6500, 0.9500,
 	0
 };
 
 
 double const udarrow[] = {
-3,
+	2, 3,
 	0.015, 0.25,  0.5, 0.05, 0.95, 0.25,
-3,
+	2, 3,
 	0.015, 0.75,  0.5, 0.95, 0.95, 0.75,
-1,
+	1, 0.5, 0.2,  0.5, 0.8,
 	0
 };
 
 
 double const Udarrow[] = {
-3,
+	2, 3,
 	0.015, 0.25,  0.5, 0.05, 0.95, 0.25,
-3,
+	2, 3,
 	0.015, 0.75,  0.5, 0.95, 0.95, 0.75,
-1,
-1,
+	1, 0.35, 0.2, 0.35, 0.8,
+	1, 0.65, 0.2, 0.65, 0.8,
 	0
 };
 
 
 double const brack[] = {
-4,
+	2, 4,
 	0.95, 0.05,  0.05, 0.05,  0.05, 0.95,  0.95, 0.95,
 	0
 };
 
 
 double const corner[] = {
-3,
+	2, 3,
 	0.95, 0.05,  0.05, 0.05,  0.05, 0.95,
 	0
 };
 
 
 double const angle[] = {
-3,
-1,
+	2, 3,
+	1, 0,  0.05, 0.5,  1, 1,
 	0
 };
 
 
 double const slash[] = {
-1,
+	1, 0.95, 0.05, 0.05, 0.95,
 	0
 };
 
 
 double const hline[] = {
-1,
+	1, 0.00, 0.5, 1.0, 0.5,
 	0
 };
 
 
 double const ddot[] = {
-1,
-1,
+	1, 0.2, 0.5,  0.3, 0.5,
+	1, 0.7, 0.5,  0.8, 0.5,
 	0
 };
 
 
 double const dddot[] = {
-1,
-1,
-1,
+	1, 0.1, 0.5,  0.2, 0.5,
+	1, 0.45, 0.5, 0.55, 0.5,
+	1, 0.8, 0.5,  0.9, 0.5,
 	0
 };
 
 
 double const hline3[] = {
-1,
-1,
-1,
+	1, 0.1,   0,  0.15,  0,
+	1, 0.475, 0,  0.525, 0,
+	1, 0.85,  0,  0.9,   0,
 	0
 };
 
 
 double const dline3[] = {
-1,
-1,
-1,
+	1, 0.1,   0.1,   0.15,  0.15,
+	1, 0.475, 0.475, 0.525, 0.525,
+	1, 0.85,  0.85,  0.9,   0.9,
 	0
 };
 
 
 double const hlinesmall[] = {
-1,
+	1, 0.4, 0.5, 0.6, 0.5,
 	0
 };
 
 
 double const ring[] = {
-5,
+	2, 5,
 	0.5, 0.8,  0.8, 0.5,  0.5, 0.2,  0.2, 0.5,  0.5, 0.8,
 	0
 };
 
 
 double const vert[] = {
-1,
+	1, 0.5, 0.05,  0.5, 0.95,
 	0
 };
 
 
 double const  Vert[] = {
-1,
-1,
+	1, 0.3, 0.05,  0.3, 0.95,
+	1, 0.7, 0.05,  0.7, 0.95,
 	0
 };
 
 
 double const tilde[] = {
-4,
+	2, 4,
 	0.00, 0.8,  0.25, 0.2,  0.75, 0.8,  1.00, 0.2,
 	0
 };
-- 
2.39.2