{ "type": "excalidrawlib", "version": 2, "source": "https://excalidraw.com", "libraryItems": [ { "status": "published", "elements": [ { "id": "or3h_hPFrkmoHsjAZQsR2", "type": "line", "x": 712.0700784571932, "y": 249.36028629123356, "width": 12.573336552388131, "height": 17.089225099577867, "angle": 0, "strokeColor": "#000000", "backgroundColor": "#000000", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "groupIds": [ "UzIEPixby4-Z0Fny7CYNb" ], "strokeSharpness": "round", "seed": 1442170963, "version": 4118, "versionNonce": 1029743389, "isDeleted": false, "boundElements": null, "updated": 1639971786712, "points": [ [ 0, 0 ], [ 2.9305581135677707, 0.09086752989388541 ], [ 5.506546071424677, 1.4491057867085657 ], [ 5.797558983644167, 0.9151631099125406 ], [ 2.1465686672969917, -0.7030148420567208 ], [ -3.9757380103668583, 0.7488710566650676 ], [ -6.7757775687439645, 8.120357357889523 ], [ -4.4029738117261825, 14.806310395818704 ], [ 1.5925928243098726, 16.386210257521146 ], [ 5.763743988907306, 14.38009931932268 ], [ 5.776195779936161, 13.62245646541778 ], [ 1.8256360504456248, 15.639481132607866 ], [ -3.6718983197948774, 14.31565282796609 ], [ -5.938826593881572, 8.163642466832897 ], [ -3.738953491482107, 1.5187794643065615 ], [ 0, 0 ] ], "lastCommittedPoint": [ -0.20833333333348492, 0.20833333333331439 ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": null }, { "id": "gv8Ln_lU0sDZKoXrCWbuf", "type": "line", "x": 708.071543475043, "y": 255.5904193849277, "width": 1.6855967144981925, "height": 12.995397982793166, "angle": 0, "strokeColor": "#000000", "backgroundColor": "#000000", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "groupIds": [ "UzIEPixby4-Z0Fny7CYNb" ], "strokeSharpness": "round", "seed": 1829587539, "version": 2972, "versionNonce": 1086613811, "isDeleted": false, "boundElements": null, "updated": 1639971786712, "points": [ [ 0.0008197453403768424, 0.06978984246867091 ], [ -0.0030033192078917637, 2.5156253238150117 ], [ 0.25522011767722963, 6.930040209352012 ], [ 0.640738200373392, 7.864422688044117 ], [ 0.38040451737621384, 0.14805851523309843 ], [ 1.6825933952903007, -5.1309752947490495 ], [ 1.1692334980294679, -4.624174458800698 ], [ 0.3178737989114268, -2.0120892265685795 ], [ 0.0008197453403768424, 0.06978984246867091 ] ], "lastCommittedPoint": [ -0.20833333333325754, 3.125 ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": null } ], "id": "hngaa2tuyUd80xSsR-9gZ", "created": 1639971798361, "name": "Complex numbers" }, { "status": "published", "elements": [ { "id": "HwaiGzJNyNKekJnpXWKV2", "type": "line", "x": 814.2576685083271, "y": 378.38631368366396, "width": 18.103371308638394, "height": 7.371235523356664, "angle": 0, "strokeColor": "#000000", "backgroundColor": "#000000", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "groupIds": [], "strokeSharpness": "round", "seed": 12475955, "version": 3155, "versionNonce": 545694547, "isDeleted": false, "boundElements": null, "updated": 1639970545161, "points": [ [ -67.79496910890953, -37.646197086140596 ], [ -65.07145399144106, -36.37688401456882 ], [ -62.037815449971646, -37.48775637572623 ], [ -62.066656116317034, -40.97006134987136 ], [ -65.92121111656297, -41.464577685695005 ], [ -73.437621814756, -36.061779682674796 ], [ -78.17082650954612, -36.88956670897907 ], [ -78.81710377094835, -41.694289589507925 ], [ -74.49731192834504, -43.04604413846236 ], [ -70.52658047100488, -40.28480804996032 ], [ -71.20617465274665, -39.54786983501235 ], [ -74.49469698258085, -42.06246014559204 ], [ -77.70117356737316, -41.529567825822895 ], [ -78.07900176623397, -38.931786736108705 ], [ -76.14066679901012, -36.665938865640555 ], [ -72.5706623503141, -37.57371347916742 ], [ -65.93290134666528, -42.47954929240643 ], [ -61.72551683128629, -41.94610370777598 ], [ -60.713732462309956, -38.93324245759965 ], [ -61.97022376964265, -36.254330200821606 ], [ -65.95134381485008, -35.6748086151057 ], [ -69.4925295841467, -37.91464097307078 ], [ -68.9710448718015, -38.5811223122056 ], [ -67.79496910890953, -37.646197086140596 ] ], "lastCommittedPoint": [ -2.173913043478251, -2.753623188405811 ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": null } ], "id": "C6DrV-IStvufrLo_r_aFp", "created": 1639970624230, "name": "Infinity" }, { "status": "published", "elements": [ { "type": "line", "version": 3929, "versionNonce": 1366042515, "isDeleted": false, "id": "u63DNmXcIz_SKDYGNNtWP", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "angle": 0, "x": 701.2949435426119, "y": 320.27224152540384, "strokeColor": "#000000", "backgroundColor": "#000000", "width": 16.520185308064942, "height": 10.149437219175825, "seed": 1787578077, "groupIds": [], "strokeSharpness": "round", "boundElements": [], "updated": 1639970548319, "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null, "points": [ [ -0.8186214213595662, -0.39885840828029906 ], [ 4.67810191528985, -0.40727723287178796 ], [ 4.728678385906451, -0.9983668116704958 ], [ 1.1147726320900468, -3.6330692002406866 ], [ 1.4737530712228883, -4.5278931667238 ], [ 7.227087148522418, 0.040209094036771864 ], [ 6.747875666303699, 2.2946518463185543 ], [ 2.3980145329198117, 5.621544052452024 ], [ 1.3647255377987433, 5.300761375194991 ], [ 4.957382808795071, 2.6978588051493477 ], [ 3.5807186388113132, 2.3716997493694 ], [ -9.256316576477428, 2.5859562468943165 ], [ -9.21953499341241, 1.8471407381877367 ], [ 3.92312448286149, 1.7627665695126566 ], [ 6.053099381060987, 1.2691730953431246 ], [ 5.989070457049097, 0.5828340318911762 ], [ 3.5712865302729337, 0.3412657134300833 ], [ -9.293098159542524, 0.36950972077452693 ], [ -9.293098159542465, -0.22154268619071973 ], [ -0.8186214213595662, -0.39885840828029906 ] ] } ], "id": "6_s6Q9-Fly8ZAOPqHbDOM", "created": 1639970622198, "name": "Implication" }, { "status": "published", "elements": [ { "id": "pPqpHBpBT3ulcl35tetOq", "type": "line", "x": 722.2212409047672, "y": 325.0791183712003, "width": 17.194635184093233, "height": 9.505082918216802, "angle": 0, "strokeColor": "#000000", "backgroundColor": "#000000", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "groupIds": [], "strokeSharpness": "round", "seed": 79844573, "version": 2301, "versionNonce": 85409747, "isDeleted": false, "boundElements": null, "updated": 1639969747678, "points": [ [ -24.758123402701663, -17.559869243772997 ], [ -17.551131097817724, -17.664320704412738 ], [ -16.132431825202758, -18.291029468251214 ], [ -20.89926138118902, -21.73792766936282 ], [ -19.93454587581085, -22.051282051282044 ], [ -14.600236610778591, -18.238803737931324 ], [ -15.281212261633824, -15.627517221937705 ], [ -18.913082399528058, -12.54619913306524 ], [ -20.10478978852466, -12.650650593704983 ], [ -16.30267573791657, -15.993097334176797 ], [ -17.551131097817724, -16.67203182833517 ], [ -30.830156289493708, -16.463128907055676 ], [ -31.794871794871824, -17.350966322493488 ], [ -24.758123402701663, -17.559869243772997 ] ], "lastCommittedPoint": [ -1.0256410256409936, -0.5128205128204968 ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": null } ], "id": "F75PdFTMaojNXY18crpaO", "created": 1639970620480, "name": "Approaches" }, { "status": "published", "elements": [ { "id": "a74YntPmZRPm84Tg4UaRb", "type": "line", "x": 755.5506260024296, "y": 297.4506855377407, "width": 12.641338747410202, "height": 10.683356956457915, "angle": 0, "strokeColor": "#000000", "backgroundColor": "#000000", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "groupIds": [ "6HvbRQ7rcyz0pJoJu5fsB" ], "strokeSharpness": "round", "seed": 2129902813, "version": 1547, "versionNonce": 1730484573, "isDeleted": false, "boundElements": null, "updated": 1639969742162, "points": [ [ -7.109413409938233, -15.394820015505308 ], [ -4.067888297779341, -10.186208260933284 ], [ -2.4710876138959534, -10.414322644345164 ], [ 3.0036575879899483, -20.451355514469377 ], [ 2.3953525655581926, -20.83154615348917 ], [ -2.5091066777979485, -11.630932689208711 ], [ -4.124916893632332, -11.744989880914655 ], [ -9.048385668939508, -20.869565217391198 ], [ -9.637681159420254, -20.660460365930284 ], [ -7.109413409938233, -15.394820015505308 ] ], "lastCommittedPoint": [ -4.637681159420254, -5.797101449275374 ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": null }, { "id": "NkhZI-A7lDC1YcakzsF4Q", "type": "line", "x": 768.565456682801, "y": 281.32247561185204, "width": 5.934013224035896, "height": 0.9460754045121756, "angle": 0, "strokeColor": "#000000", "backgroundColor": "#000000", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "groupIds": [ "6HvbRQ7rcyz0pJoJu5fsB" ], "strokeSharpness": "round", "seed": 1315351507, "version": 1028, "versionNonce": 1549367027, "isDeleted": false, "boundElements": null, "updated": 1639969742162, "points": [ [ -15.504093367920044, -0.20384821750810392 ], [ -13.196421558572736, -0.28985507246375164 ], [ -13.223893842017345, 0.35519633970365505 ], [ -19.10296249916403, 0.6562203320484239 ], [ -19.13043478260863, 0.011168919881031608 ], [ -15.504093367920044, -0.20384821750810392 ] ], "lastCommittedPoint": [ 12.028985507246375, 4.6376811594203105 ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": null } ], "id": "zpLeEaecoiCvY-gfIMyL_", "created": 1639970618883, "name": "Universal quantification" }, { "status": "published", "elements": [ { "id": "CTYsePybwyo_TodEzEkDa", "type": "line", "x": 743.1806902836072, "y": 275.7463751952609, "width": 9.41606000375753, "height": 11.837194272125986, "angle": 0, "strokeColor": "#000000", "backgroundColor": "#000000", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "groupIds": [], "strokeSharpness": "round", "seed": 659469981, "version": 3500, "versionNonce": 579235805, "isDeleted": false, "boundElements": null, "updated": 1639969741402, "points": [ [ -6.547052695442538, -0.06212733306356674 ], [ -1.9126783987083367, -0.08547008546997859 ], [ 0.10881588230228845, 1.2523553283271018 ], [ 0.4091201294290201, 9.897054332295516 ], [ -1.530602417395781, 11.656490281647573 ], [ -8.609705957680587, 11.751724186656006 ], [ -8.602722137979892, 11.190330762310472 ], [ -1.8973416952504318, 10.99695425783053 ], [ -0.3635442865396503, 10.228099198062157 ], [ -0.3495766471383801, 6.719416368513059 ], [ -1.9167654565256873, 6.356619011132789 ], [ -8.477583564008098, 6.449990020758545 ], [ -8.47699045402552, 5.885950530834593 ], [ -1.4669460165202706, 5.551658632896174 ], [ -0.3411901575190255, 4.7536704495662265 ], [ -0.7595272711617227, 1.2997822206181942 ], [ -2.203166776311923, 0.6572554151840756 ], [ -9.00693987432851, 0.6607000439351941 ], [ -8.997226423614608, 0.16941844224391805 ], [ -6.547052695442538, -0.06212733306356674 ] ], "lastCommittedPoint": [ -17.85714285714289, 29.52380952380952 ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": null } ], "id": "jz3dQ1Vhry0UCaeNbMI6F", "created": 1639970616910, "name": "Existential quantification" }, { "status": "published", "elements": [ { "id": "Xck85TjRkPY3R0MjW3SPP", "type": "line", "x": 747.5633445944018, "y": 278.79133684030563, "width": 7.108605253104342, "height": 8.805862052095446, "angle": 0, "strokeColor": "#000000", "backgroundColor": "#000000", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "groupIds": [], "strokeSharpness": "round", "seed": 485386227, "version": 5023, "versionNonce": 1115216371, "isDeleted": false, "boundElements": null, "updated": 1639969739916, "points": [ [ -20.354576905967164, -0.15715554185605327 ], [ -23.557222910603638, 1.1612479427861793 ], [ -24.287985090641428, 4.914969455287504 ], [ -21.71418228388681, 8.409782380510107 ], [ -17.179379837537088, 8.619325505360619 ], [ -17.25172568035049, 8.19695884640581 ], [ -20.712636337496175, 8.2124317009053 ], [ -22.337380361753763, 7.303384408310752 ], [ -23.549919158700234, 5.217723048364337 ], [ -22.868803675962184, 4.868288720667663 ], [ -18.317197896323748, 4.489322387078901 ], [ -18.426993641149263, 4.054278771541008 ], [ -22.754043261406625, 4.330487088560781 ], [ -23.781779069984673, 4.001037218413599 ], [ -22.98852876024762, 1.3400676988537512 ], [ -20.207402885475332, 0.3793037263466417 ], [ -17.42131234097302, 0.3245688083016744 ], [ -17.391381069901627, -0.005032062858890914 ], [ -18.528769370613663, -0.18653654673482833 ], [ -20.354576905967164, -0.15715554185605327 ] ], "lastCommittedPoint": [ -13.333333333333258, 30 ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": null } ], "id": "oBMA9Y5YcjPncqV8XgLcc", "created": 1639970615270, "name": "Element" }, { "status": "published", "elements": [ { "type": "line", "version": 3709, "versionNonce": 1404555539, "isDeleted": false, "id": "mJfaYT4wxjVu3rLWLtlh-", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "angle": 0, "x": 702.5714912227683, "y": 257.3046757247977, "strokeColor": "#000000", "backgroundColor": "#000000", "width": 10.547131088684296, "height": 14.441208494000023, "seed": 696026493, "groupIds": [ "LoBE-aTbejPqJLxMdoLvK", "C1Af_HA1TBCyR-4JsyJlq", "tXkM1BscFn0fFAeLQJWjU" ], "strokeSharpness": "round", "boundElements": [], "updated": 1639969737994, "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null, "points": [ [ 0, 0 ], [ -0.21775153906469313, 7.578987440224239 ], [ -2.1173767624760558, 6.734320174083393 ], [ -10.547131088684296, -3.5839123150511796 ], [ -9.94099439407671, -3.6010035479054636 ], [ -1.6756076324777496, 6.42638042401353 ], [ -0.3652828977071749, 4.856561778878813 ], [ -0.554037527949049, -6.862221053775784 ], [ -0.13951795081436558, -6.845056609088658 ], [ 0, 0 ] ] }, { "type": "line", "version": 3811, "versionNonce": 1094172061, "isDeleted": false, "id": "vylonQCh_yUx9VZcx8u9y", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "angle": 3.141592653589793, "x": 702.0321950273803, "y": 257.37802873706266, "strokeColor": "#000000", "backgroundColor": "#000000", "width": 10.547131088684296, "height": 14.441208494000023, "seed": 1278789907, "groupIds": [ "JmPU6BBFsdcDvfB3O-H3x", "qsPUwn8K8YS2u2gCRLlPG", "tXkM1BscFn0fFAeLQJWjU" ], "strokeSharpness": "round", "boundElements": [], "updated": 1639969737994, "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null, "points": [ [ 0, 0 ], [ -0.21775153906469313, 7.578987440224239 ], [ -2.1173767624760558, 6.734320174083393 ], [ -10.547131088684296, -3.5839123150511796 ], [ -9.94099439407671, -3.6010035479054636 ], [ -1.6756076324777496, 6.42638042401353 ], [ -0.3652828977071749, 4.856561778878813 ], [ -0.554037527949049, -6.862221053775784 ], [ -0.13951795081436558, -6.845056609088658 ], [ 0, 0 ] ] } ], "id": "qYGsUuHorG9RYhDvvrv1k", "created": 1639970613636, "name": "Natural numbers" }, { "status": "published", "elements": [ { "id": "MPClL4WqoFc164IkvUCCn", "type": "line", "x": 681.3327092642469, "y": 249.72454291951976, "width": 11.893139103189036, "height": 14.879343859091582, "angle": 3.141592653589793, "strokeColor": "#000000", "backgroundColor": "#000000", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "groupIds": [ "ZjSWxjyn6M8DuVRo6NrFI" ], "strokeSharpness": "round", "seed": 966483443, "version": 1562, "versionNonce": 751438643, "isDeleted": false, "boundElements": null, "updated": 1639969737994, "points": [ [ -0.8024399353465105, 0 ], [ 5.418200022661857, 0.26182865096560665 ], [ 5.051413555494184, 3.040497881692546 ], [ -3.7081703859435335, 14.879343859091582 ], [ -4.133444303819006, 14.578751053857438 ], [ 4.701853728466912, 2.8896355895359154 ], [ 4.025519916690059, 0.40022451743930365 ], [ -6.235779722769145, 0.6095742603039824 ], [ -6.474939080527179, 0.3345967450454387 ], [ -0.8024399353465105, 0 ] ], "lastCommittedPoint": [ 0.2631578947367643, -1.0526315789473983 ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": null }, { "id": "AIEnp10XvwgugVm6KC3Sq", "type": "line", "x": 680.9838318758284, "y": 249.2981372225654, "width": 11.893139103189036, "height": 14.879343859091582, "angle": 0, "strokeColor": "#000000", "backgroundColor": "#000000", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "groupIds": [ "ZjSWxjyn6M8DuVRo6NrFI" ], "strokeSharpness": "round", "seed": 1181754781, "version": 1761, "versionNonce": 1695921533, "isDeleted": false, "boundElements": null, "updated": 1639969737994, "points": [ [ -0.8024399353465105, 0 ], [ 5.418200022661857, 0.26182865096560665 ], [ 5.051413555494184, 3.040497881692546 ], [ -3.7081703859435335, 14.879343859091582 ], [ -4.133444303819006, 14.578751053857438 ], [ 4.701853728466912, 2.8896355895359154 ], [ 4.025519916690059, 0.40022451743930365 ], [ -6.235779722769145, 0.6095742603039824 ], [ -6.474939080527179, 0.3345967450454387 ], [ -0.8024399353465105, 0 ] ], "lastCommittedPoint": [ 0.2631578947367643, -1.0526315789473983 ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": null } ], "id": "k0t82FEnpoV4-9T9QlEi6", "created": 1639970611782, "name": "Integers" }, { "status": "published", "elements": [ { "id": "-VHNU2XeP4JD6DQIcpIBM", "type": "line", "x": 661.5910902270799, "y": 256.0123745115404, "width": 9.233136756273666, "height": 16.374800153098477, "angle": 0, "strokeColor": "#000000", "backgroundColor": "#000000", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "groupIds": [ "AOEyDIKxiOwpk7VU_WwtE" ], "strokeSharpness": "round", "seed": 1056022461, "version": 2911, "versionNonce": 1154186419, "isDeleted": false, "boundElements": null, "updated": 1639969737994, "points": [ [ 0, 0 ], [ -0.12881216957953256, 8.423037303547858 ], [ -0.4538742610549207, 8.523798796602875 ], [ -0.24348783911681693, -4.217572894412932 ], [ 0.8477286969665556, -7.222333902863738 ], [ 6.895501331434161, -6.001978891245699 ], [ 8.779262495218745, -1.8500573058416308 ], [ 7.042461062521284, 0.8169401239849208 ], [ 3.560578130414945, 2.082591432993901 ], [ 7.99419250269661, 8.87912607478556 ], [ 7.427483771870811, 9.152466250234738 ], [ 2.6181786213807072, 2.0563424162770616 ], [ 3.447170651863189, 0.8997872322606213 ], [ 7.2759732435639215, -0.09884638648698285 ], [ 8.024306702547392, -3.67140084871437 ], [ 4.769286010717337, -6.441655089011363 ], [ 1.5916450430373743, -6.773798568010932 ], [ 0.39582252151865305, -5.986899284005574 ], [ 0, 0 ] ], "lastCommittedPoint": [ -0.7142857142856656, 0.3571428571428896 ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": null }, { "id": "GkjsiM8v1XVClskREuKB-", "type": "line", "x": 663.4146281867529, "y": 258.84084526529307, "width": 0.5214175917849388, "height": 13.950991402197076, "angle": 0, "strokeColor": "#000000", "backgroundColor": "#000000", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "groupIds": [ "AOEyDIKxiOwpk7VU_WwtE" ], "strokeSharpness": "round", "seed": 1787396435, "version": 2075, "versionNonce": 1564351485, "isDeleted": false, "boundElements": null, "updated": 1639969737994, "points": [ [ 0, 0 ], [ 0.13035439794612103, -8.19759662612313 ], [ -0.18398431215325672, -8.143088476182186 ], [ -0.3910631938388178, 5.753394776073947 ], [ -0.09031290901930333, 5.693531441092603 ], [ 0, 0 ] ], "lastCommittedPoint": [ -1.7857142857143344, -0.7142857142857224 ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": null } ], "id": "zneNU3QPoiGvLenqTjUkw", "created": 1639970610066, "name": "Real numbers" }, { "status": "published", "elements": [ { "id": "p4pPv-_KDq4cv4ISd1K_H", "type": "text", "x": 634.6117098000627, "y": 277.6263021887714, "width": 9, "height": 20, "angle": 0, "strokeColor": "#000000", "backgroundColor": "#000000", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "groupIds": [ "vogng38DEVfWGmUebUYwm" ], "strokeSharpness": "sharp", "seed": 1679828595, "version": 194, "versionNonce": 208206877, "isDeleted": false, "boundElements": null, "updated": 1639969755087, "text": ">", "fontSize": 16.29795158286773, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "baseline": 14, "containerId": null, "originalText": ">" }, { "type": "line", "version": 1334, "versionNonce": 130687027, "isDeleted": false, "id": "rZ7uCtRO_zQXgFFN_0B58", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "angle": 0, "x": 641.335747339737, "y": 292.8283158098572, "strokeColor": "#000000", "backgroundColor": "#000000", "width": 6.068608488984219, "height": 0.6813733230376028, "seed": 1257581747, "groupIds": [ "8FGzvLnbCaZagw53MWydO", "vogng38DEVfWGmUebUYwm" ], "strokeSharpness": "round", "boundElements": [], "updated": 1639969755087, "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null, "points": [ [ -1.742424678969679, 0 ], [ 1.0501569416293244, 0.0026452815296311846 ], [ 1.106578542958041, 0.4299009143974133 ], [ -4.8390903976808834, 0.6813733230376028 ], [ -4.962029946026178, 0.26324817803020256 ], [ -1.742424678969679, 0 ] ] } ], "id": "06g8BIDKkTSJ34anOtHcg", "created": 1639970607910, "name": "Greater than or equal to" }, { "status": "published", "elements": [ { "id": "-aKUw6WeRknp_PSlHyUYY", "type": "text", "x": 623.4123215674026, "y": 279.70506057821626, "width": 10.50837988826815, "height": 19.10614525139663, "angle": 0, "strokeColor": "#000000", "backgroundColor": "#000000", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "groupIds": [ "NHMFN1Ubp7fUZqVF3FYkM" ], "strokeSharpness": "sharp", "seed": 1544798611, "version": 193, "versionNonce": 981964051, "isDeleted": false, "boundElements": null, "updated": 1639969753628, "text": "<", "fontSize": 15.284916201117309, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "baseline": 13.10614525139663, "containerId": null, "originalText": "<" }, { "id": "KXH_ye7nzYmiWy4qIKTCD", "type": "line", "x": 628.0414448304133, "y": 293.8231360635231, "width": 6.326932389781115, "height": 0.596017360780712, "angle": 0, "strokeColor": "#000000", "backgroundColor": "#000000", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "groupIds": [ "k6kDMLUma4nw3nOKstHrT", "NHMFN1Ubp7fUZqVF3FYkM" ], "strokeSharpness": "round", "seed": 432904147, "version": 1671, "versionNonce": 1127627165, "isDeleted": false, "boundElements": null, "updated": 1639969753628, "points": [ [ -0.031199549664429505, 0 ], [ 2.916575768301814, 0.1738383968943536 ], [ 2.9165757683017874, 0.596017360780712 ], [ -3.4103566214793006, 0.596017360780712 ], [ -3.3624253154961554, 0.09933622679678272 ], [ -0.031199549664429505, 0 ] ], "lastCommittedPoint": [ 3.391304347826008, -0.08695652173912549 ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": null } ], "id": "29hRfNg554jMypgSDpZ7R", "created": 1639970605254, "name": "Less than or equal to" }, { "status": "published", "elements": [ { "id": "S1pI5cu544Pg6EdnjuddY", "type": "line", "x": 601.5717160790983, "y": 273.4165948806581, "width": 7.854407807242281, "height": 15.530247465744933, "angle": 0, "strokeColor": "#000000", "backgroundColor": "#000000", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "groupIds": [], "strokeSharpness": "round", "seed": 1224873149, "version": 3078, "versionNonce": 288199069, "isDeleted": false, "boundElements": null, "updated": 1639970585997, "points": [ [ 0, 0 ], [ 0.47861379166329243, 0.6148976118180371 ], [ 2.7459702869508646, 0.21920164769727535 ], [ 5.9336578619901275, 3.602587401808762 ], [ 6.4741861962107645, 9.399942173055843 ], [ 4.825584137230446, 13.36096134384025 ], [ 0.9352144567093226, 13.640128174232249 ], [ 0.03863248027629207, 10.456580617725495 ], [ 1.5437866853996516, 8.645904905327507 ], [ 4.410591563693601, 9.469686494182403 ], [ 5.516580151810234, 9.702543349996933 ], [ 5.50652846593968, 8.658538743086362 ], [ 1.564219194464783, 7.770413087499971 ], [ -0.4687444119447881, 8.925174601782338 ], [ -0.8784731582983338, 11.78433041788163 ], [ 0.3963304825998596, 14.628666080858068 ], [ 3.642891355787948, 14.994789432989306 ], [ 6.975934648943947, 12.077232336834529 ], [ 6.94009547374867, 4.742637616202103 ], [ 3.473850276912003, -0.21475297636300184 ], [ 1.2058274425126, -0.5354580327556278 ], [ 0, 0 ] ], "lastCommittedPoint": [ 13.965517241379303, 44.48275862068965 ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": null } ], "id": "0DH39iSxdjkLT1bjZvd5p", "created": 1639970603300, "name": "Partial derivaive" }, { "status": "published", "elements": [ { "type": "line", "version": 4524, "versionNonce": 258187955, "isDeleted": false, "id": "RmuiBsUKp7Lj7YX20vIqr", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "angle": 0, "x": 595.810315852974, "y": 258.54183385518326, "strokeColor": "#000000", "backgroundColor": "#000000", "width": 9.845901348774076, "height": 41.589456947420416, "seed": 1791787571, "groupIds": [], "strokeSharpness": "round", "boundElements": [], "updated": 1639970585997, "startBinding": null, "endBinding": null, "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": null, "points": [ [ 0, 0 ], [ -2.3004523516478184, 1.209246316033144 ], [ -4.647215587003986, 7.474741786573146 ], [ -2.7824431328169865, 23.031382720284135 ], [ -1.929247599468808, 36.6778015252594 ], [ -4.76203365582413, 40.257893632991994 ], [ -5.815664686982577, 38.159200625341974 ], [ -7.110728970427248, 39.06231660896368 ], [ -5.698924137345239, 41.589456947420416 ], [ -1.9112206088837684, 40.06683409875895 ], [ -0.3264495593557388, 34.95376775974244 ], [ -0.8542846482743336, 22.90701973556727 ], [ -3.097498378143099, 6.542350217190476 ], [ -0.3185877841610525, 1.5678752667868323 ], [ 1.3234560187953854, 3.660584469366615 ], [ 2.735172378346828, 3.145557380114573 ], [ 1.9308144075824294, 0.7935268837256421 ], [ 0, 0 ] ] } ], "id": "e2j8tn4QpuDn084uy1yyG", "created": 1639970597878, "name": "Integral" }, { "status": "published", "elements": [ { "id": "TRxLaM6Akm6GDbGi78po_", "type": "line", "x": 572.8432225922046, "y": 263.3910762272421, "width": 20.3192084036864, "height": 32.618601391763576, "angle": 0, "strokeColor": "#000000", "backgroundColor": "#000000", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "groupIds": [], "strokeSharpness": "round", "seed": 1799786099, "version": 1744, "versionNonce": 1369085395, "isDeleted": false, "boundElements": null, "updated": 1639969764795, "points": [ [ 0, 0 ], [ 9.843215143654266, 0.18480793989663538 ], [ 9.8366007463286, 2.1562530948622793 ], [ -5.484077008607414, 2.757119593628204 ], [ -6.257472484180191, 5.636642166848667 ], [ 2.0389517083284083, 15.431462981372556 ], [ 2.3201864267185357, 19.035217809357736 ], [ -4.99191625142479, 26.797151285018206 ], [ -6.538707202570457, 30.40090611300341 ], [ 9.913523823251808, 30.46234829690127 ], [ 9.91352382325178, 32.618601391763576 ], [ -10.405684580434592, 32.156581542021826 ], [ -6.819941920960652, 25.873111585534826 ], [ -0.0703086795975878, 18.850409869461078 ], [ -0.4921607571828126, 15.708674891217575 ], [ -9.843215143654337, 4.43539055752022 ], [ -8.858893629288854, 1.1088476393800382 ], [ 0, 0 ] ], "lastCommittedPoint": [ -13.023255813953483, 70.93023255813955 ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": null } ], "id": "AYySwp2it7H66QFTYegmp", "created": 1639970571809, "name": "Summation" } ] }