433 lines
8.9 KiB
JSON
Generated
433 lines
8.9 KiB
JSON
Generated
{
|
|
"name": "",
|
|
"config": {
|
|
"sketch": false,
|
|
"themeID": 0,
|
|
"darkThemeID": null,
|
|
"pad": null,
|
|
"center": null,
|
|
"layoutEngine": null
|
|
},
|
|
"isFolderOnly": false,
|
|
"fontFamily": "SourceSansPro",
|
|
"shapes": [
|
|
{
|
|
"id": "x",
|
|
"type": "rectangle",
|
|
"pos": {
|
|
"x": 12,
|
|
"y": 12
|
|
},
|
|
"width": 260,
|
|
"height": 192,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "B4",
|
|
"stroke": "B1",
|
|
"animated": false,
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "x",
|
|
"fontSize": 28,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "N1",
|
|
"italic": false,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 13,
|
|
"labelHeight": 36,
|
|
"labelPosition": "INSIDE_TOP_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "x.a",
|
|
"type": "rectangle",
|
|
"pos": {
|
|
"x": 72,
|
|
"y": 72
|
|
},
|
|
"width": 50,
|
|
"height": 72,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "B5",
|
|
"stroke": "B1",
|
|
"animated": false,
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "a",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "N1",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 8,
|
|
"labelHeight": 21,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 2
|
|
},
|
|
{
|
|
"id": "x.b",
|
|
"type": "rectangle",
|
|
"pos": {
|
|
"x": 162,
|
|
"y": 72
|
|
},
|
|
"width": 50,
|
|
"height": 72,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "B5",
|
|
"stroke": "B1",
|
|
"animated": false,
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "b",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "N1",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 8,
|
|
"labelHeight": 21,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 2
|
|
},
|
|
{
|
|
"id": "y",
|
|
"type": "rectangle",
|
|
"pos": {
|
|
"x": 292,
|
|
"y": 12
|
|
},
|
|
"width": 260,
|
|
"height": 193,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "B4",
|
|
"stroke": "B1",
|
|
"animated": false,
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "y",
|
|
"fontSize": 28,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "N1",
|
|
"italic": false,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 13,
|
|
"labelHeight": 36,
|
|
"labelPosition": "INSIDE_TOP_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "y.a",
|
|
"type": "rectangle",
|
|
"pos": {
|
|
"x": 352,
|
|
"y": 72
|
|
},
|
|
"width": 50,
|
|
"height": 73,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "B5",
|
|
"stroke": "B1",
|
|
"animated": false,
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "a",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "N1",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 8,
|
|
"labelHeight": 21,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 2
|
|
},
|
|
{
|
|
"id": "y.b",
|
|
"type": "rectangle",
|
|
"pos": {
|
|
"x": 442,
|
|
"y": 72
|
|
},
|
|
"width": 50,
|
|
"height": 73,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "B5",
|
|
"stroke": "B1",
|
|
"animated": false,
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "b",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "N1",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 8,
|
|
"labelHeight": 21,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 2
|
|
},
|
|
{
|
|
"id": "z",
|
|
"type": "rectangle",
|
|
"pos": {
|
|
"x": 572,
|
|
"y": 28
|
|
},
|
|
"width": 363,
|
|
"height": 161,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "B4",
|
|
"stroke": "B1",
|
|
"animated": false,
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "z",
|
|
"fontSize": 28,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "N1",
|
|
"italic": false,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 12,
|
|
"labelHeight": 36,
|
|
"labelPosition": "INSIDE_TOP_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "z.lim",
|
|
"type": "text",
|
|
"pos": {
|
|
"x": 632,
|
|
"y": 88
|
|
},
|
|
"width": 162,
|
|
"height": 41,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "transparent",
|
|
"stroke": "N1",
|
|
"animated": false,
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "\\lim_{h \\rightarrow 0 } \\frac{f(x+h)-f(x)}{h}",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "latex",
|
|
"color": "N1",
|
|
"italic": false,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 162,
|
|
"labelHeight": 41,
|
|
"zIndex": 0,
|
|
"level": 2
|
|
},
|
|
{
|
|
"id": "z.add",
|
|
"type": "text",
|
|
"pos": {
|
|
"x": 834,
|
|
"y": 88
|
|
},
|
|
"width": 41,
|
|
"height": 41,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "transparent",
|
|
"stroke": "N1",
|
|
"animated": false,
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "1 + 1",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "latex",
|
|
"color": "N1",
|
|
"italic": false,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 41,
|
|
"labelHeight": 14,
|
|
"zIndex": 0,
|
|
"level": 2
|
|
}
|
|
],
|
|
"connections": [],
|
|
"root": {
|
|
"id": "",
|
|
"type": "",
|
|
"pos": {
|
|
"x": 0,
|
|
"y": 0
|
|
},
|
|
"width": 0,
|
|
"height": 0,
|
|
"opacity": 0,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 0,
|
|
"borderRadius": 0,
|
|
"fill": "N7",
|
|
"stroke": "",
|
|
"animated": false,
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "",
|
|
"fontSize": 0,
|
|
"fontFamily": "",
|
|
"language": "",
|
|
"color": "",
|
|
"italic": false,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"zIndex": 0,
|
|
"level": 0
|
|
}
|
|
}
|