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