git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@6156 a592a061-630c-0410-9148-cb99ea01b6c8
This commit is contained in:
André Pönitz 2003-02-14 16:02:24 +00:00
parent 1d938e16c7
commit 5d8eaff14f

View File

@ -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
};