Skip to content

Commit

Permalink
big operators: coproduct, quadrupleIntegral, summationWithIntegral
Browse files Browse the repository at this point in the history
  • Loading branch information
stone-zeng committed Oct 25, 2020
1 parent c9ba85a commit 703c6d1
Show file tree
Hide file tree
Showing 12 changed files with 297 additions and 67 deletions.
31 changes: 31 additions & 0 deletions src/FiraMath.glyphspackage/glyphs/coproduct.glyph
@@ -0,0 +1,31 @@
{
glyphname = coproduct;
layers = (
{
layerId = "D42A05F0-DBDC-4569-915A-03C7188507B6";
width = 600;
},
{
layerId = "B2FE45D6-EF48-417F-ACCD-B60D15D1CAF3";
width = 600;
},
{
layerId = "D92A4C0B-EB2A-4209-AFE3-2959A8B274DD";
shapes = (
{
pos = (0,556);
ref = product;
scale = (1,-1);
}
);
width = 736;
},
{
layerId = "B26C53A4-97D1-457B-8232-65310EC64496";
width = 600;
}
);
metricLeft = product;
metricRight = product;
unicode = 8720;
}
30 changes: 30 additions & 0 deletions src/FiraMath.glyphspackage/glyphs/coproduct.size1.glyph
@@ -0,0 +1,30 @@
{
glyphname = coproduct.size1;
layers = (
{
layerId = "D42A05F0-DBDC-4569-915A-03C7188507B6";
width = 600;
},
{
layerId = "B2FE45D6-EF48-417F-ACCD-B60D15D1CAF3";
width = 600;
},
{
layerId = "D92A4C0B-EB2A-4209-AFE3-2959A8B274DD";
shapes = (
{
pos = (0,817);
ref = product.size1;
scale = (1,-1);
}
);
width = 1402;
},
{
layerId = "B26C53A4-97D1-457B-8232-65310EC64496";
width = 600;
}
);
metricLeft = product.size1;
metricRight = product.size1;
}
40 changes: 20 additions & 20 deletions src/FiraMath.glyphspackage/glyphs/integral.glyph
Expand Up @@ -161,26 +161,26 @@ shapes = (
{
closed = 1;
nodes = (
(488,-216,o),
(323,765,o),
(545,765,cs),
(570,765,o),
(595,753,o),
(619,738,c),
(651,797,l),
(620,820,o),
(581,834,o),
(542,834,cs),
(213,834,o),
(378,-147,o),
(156,-147,cs),
(131,-147,o),
(106,-135,o),
(82,-120,c),
(50,-179,l),
(81,-202,o),
(120,-216,o),
(159,-216,cs)
(488,-245,o),
(323,736,o),
(545,736,cs),
(570,736,o),
(595,724,o),
(619,709,c),
(651,768,l),
(620,791,o),
(581,805,o),
(542,805,cs),
(213,805,o),
(378,-176,o),
(156,-176,cs),
(131,-176,o),
(106,-164,o),
(82,-149,c),
(50,-208,l),
(81,-231,o),
(120,-245,o),
(159,-245,cs)
);
}
);
Expand Down
40 changes: 20 additions & 20 deletions src/FiraMath.glyphspackage/glyphs/integral.size1.glyph
Expand Up @@ -161,26 +161,26 @@ shapes = (
{
closed = 1;
nodes = (
(762,-650,o),
(487,1337,o),
(926,1337,cs),
(961,1337,o),
(1003,1324,o),
(1048,1298,c),
(1090,1367,l),
(1029,1405,o),
(976,1424,o),
(922,1424,cs),
(382,1424,o),
(633,-563,o),
(217,-563,cs),
(183,-563,o),
(141,-550,o),
(96,-524,c),
(54,-593,l),
(115,-631,o),
(168,-650,o),
(222,-650,cs)
(762,-757,o),
(487,1230,o),
(926,1230,cs),
(961,1230,o),
(1003,1217,o),
(1048,1191,c),
(1090,1260,l),
(1029,1298,o),
(976,1317,o),
(922,1317,cs),
(382,1317,o),
(633,-670,o),
(217,-670,cs),
(183,-670,o),
(141,-657,o),
(96,-631,c),
(54,-700,l),
(115,-738,o),
(168,-757,o),
(222,-757,cs)
);
}
);
Expand Down
8 changes: 4 additions & 4 deletions src/FiraMath.glyphspackage/glyphs/product.glyph
Expand Up @@ -78,10 +78,10 @@ closed = 1;
nodes = (
(218,-153,l),
(218,633,l),
(523,633,l),
(523,-153,l),
(613,-153,l),
(613,633,l),
(518,633,l),
(518,-153,l),
(608,-153,l),
(608,633,l),
(680,633,l),
(680,709,l),
(56,709,l),
Expand Down
22 changes: 11 additions & 11 deletions src/FiraMath.glyphspackage/glyphs/product.size1.glyph
Expand Up @@ -77,21 +77,21 @@ shapes = (
closed = 1;
nodes = (
(90,1172,l),
(1313,1172,l),
(1313,1067,l),
(1143,1067,l),
(1143,-355,l),
(1033,-355,l),
(1033,1067,l),
(383,1067,l),
(383,-355,l),
(273,-355,l),
(273,1067,l),
(1312,1172,l),
(1312,1067,l),
(1136,1067,l),
(1136,-355,l),
(1026,-355,l),
(1026,1067,l),
(376,1067,l),
(376,-355,l),
(266,-355,l),
(266,1067,l),
(90,1067,l)
);
}
);
width = 1403;
width = 1402;
}
);
}
@@ -0,0 +1,41 @@
{
glyphname = quadrupleIntegralOperator;
layers = (
{
layerId = "D42A05F0-DBDC-4569-915A-03C7188507B6";
width = 600;
},
{
layerId = "B2FE45D6-EF48-417F-ACCD-B60D15D1CAF3";
width = 600;
},
{
layerId = "D92A4C0B-EB2A-4209-AFE3-2959A8B274DD";
shapes = (
{
pos = (280,0);
ref = integral;
},
{
pos = (840,0);
ref = integral;
},
{
ref = integral;
},
{
pos = (560,0);
ref = integral;
}
);
width = 1541;
},
{
layerId = "B26C53A4-97D1-457B-8232-65310EC64496";
width = 600;
}
);
metricLeft = integral;
metricRight = integral;
unicode = 10764;
}
@@ -0,0 +1,40 @@
{
glyphname = quadrupleIntegralOperator.size1;
layers = (
{
layerId = "D42A05F0-DBDC-4569-915A-03C7188507B6";
width = 600;
},
{
layerId = "B2FE45D6-EF48-417F-ACCD-B60D15D1CAF3";
width = 600;
},
{
layerId = "D92A4C0B-EB2A-4209-AFE3-2959A8B274DD";
shapes = (
{
pos = (440,0);
ref = integral.size1;
},
{
pos = (1320,0);
ref = integral.size1;
},
{
ref = integral.size1;
},
{
pos = (880,0);
ref = integral.size1;
}
);
width = 2500;
},
{
layerId = "B26C53A4-97D1-457B-8232-65310EC64496";
width = 600;
}
);
metricLeft = integral.size1;
metricRight = integral.size1;
}
24 changes: 12 additions & 12 deletions src/FiraMath.glyphspackage/glyphs/summation.size1.glyph
Expand Up @@ -79,19 +79,19 @@ shapes = (
{
closed = 1;
nodes = (
(660,409,l),
(90,1067,l),
(90,1172,l),
(1190,1172,l),
(1190,1067,l),
(235,1067,l),
(768,459,l),
(768,359,l),
(235,-250,l),
(1190,-250,l),
(1190,-355,l),
(90,-355,l),
(90,-250,l)
(1190,-250,l),
(235,-250,l),
(768,359,l),
(768,459,l),
(235,1067,l),
(1190,1067,l),
(1190,1172,l),
(90,1172,l),
(90,1067,l),
(660,409,l),
(90,-250,l),
(90,-355,l)
);
}
);
Expand Down
50 changes: 50 additions & 0 deletions src/FiraMath.glyphspackage/glyphs/summationW_ithI_ntegral.glyph
@@ -0,0 +1,50 @@
{
glyphname = summationWithIntegral;
layers = (
{
layerId = "D42A05F0-DBDC-4569-915A-03C7188507B6";
width = 600;
},
{
layerId = "B2FE45D6-EF48-417F-ACCD-B60D15D1CAF3";
width = 600;
},
{
layerId = "D92A4C0B-EB2A-4209-AFE3-2959A8B274DD";
shapes = (
{
closed = 1;
nodes = (
(547,8,l),
(547,80,l),
(202,80,l),
(202,44,l),
(419,244,l),
(419,316,l),
(202,516,l),
(202,480,l),
(547,480,l),
(547,552,l),
(137,552,l),
(137,480,l),
(378,244,l),
(378,316,l),
(137,80,l),
(137,8,l)
);
},
{
ref = integral;
}
);
width = 701;
},
{
layerId = "B26C53A4-97D1-457B-8232-65310EC64496";
width = 600;
}
);
metricLeft = integral;
metricRight = integral;
unicode = 10763;
}

0 comments on commit 703c6d1

Please sign in to comment.