1381 lines
28 KiB
Markdown
1381 lines
28 KiB
Markdown
---
|
||
|
||
excalidraw-plugin: parsed
|
||
tags: [excalidraw]
|
||
|
||
---
|
||
==⚠ Switch to EXCALIDRAW VIEW in the MORE OPTIONS menu of this document. ⚠==
|
||
|
||
|
||
# Text Elements
|
||
new notation ^uoDNKXdR
|
||
|
||
needs to be visual ^Vt9of03N
|
||
|
||
use 2D space to make it clear
|
||
(-> paper notation) ^Sv04EYvk
|
||
|
||
x ^Q7rlMbsp
|
||
|
||
k←⍳n ^geBzr3WZ
|
||
|
||
!k ^3YZRMXN6
|
||
|
||
+ ^oKFCzCHO
|
||
|
||
⍳n ^n3a3VF9b
|
||
|
||
(⌊=⊢) ^iiH2x6Cg
|
||
|
||
you can type it easily ^XmW1riGQ
|
||
|
||
shorts for symbols
|
||
(even 2D symbols) ^A1L2w9N6
|
||
|
||
right-to-left
|
||
priority ^f4ZNTfgo
|
||
|
||
more mathematical symbols ^S9EEd8jS
|
||
|
||
|
||
# Embedded files
|
||
ecc6db83354452c80330d95d8ffaa21d2990fc7c: $$\displaystyle \sum_{k=0}^n \frac{x^k}{k!}$$
|
||
dcac0daa298bd7281f2dd6cbca54b5ec167c817d: $$\displaystyle \left\{ k \in [\![1; n]\!] \mid \sqrt{k} \in \mathbb{N} \right\}$$
|
||
d1169f81533e2620fe9fcda22bf0befe9132806d: $$\sqrt{\;}$$
|
||
|
||
%%
|
||
# Drawing
|
||
```json
|
||
{
|
||
"type": "excalidraw",
|
||
"version": 2,
|
||
"source": "https://excalidraw.com",
|
||
"elements": [
|
||
{
|
||
"id": "uoDNKXdR",
|
||
"type": "text",
|
||
"x": -441.765625,
|
||
"y": -234.341796875,
|
||
"width": 199,
|
||
"height": 34,
|
||
"angle": 0,
|
||
"strokeColor": "#000000",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 2,
|
||
"strokeStyle": "solid",
|
||
"roughness": 0,
|
||
"opacity": 100,
|
||
"groupIds": [],
|
||
"strokeSharpness": "sharp",
|
||
"seed": 2117332080,
|
||
"version": 148,
|
||
"versionNonce": 1103782000,
|
||
"isDeleted": false,
|
||
"boundElements": [
|
||
{
|
||
"id": "sGkGpd--5VINU3jJPttWX",
|
||
"type": "arrow"
|
||
},
|
||
{
|
||
"id": "PDH75A4NrpD82IfiKnUub",
|
||
"type": "arrow"
|
||
},
|
||
{
|
||
"id": "eMMtOdFFFLykP7VDKW1rg",
|
||
"type": "arrow"
|
||
},
|
||
{
|
||
"id": "tB_Xt7eGPSjQ-DSv2ikWX",
|
||
"type": "arrow"
|
||
}
|
||
],
|
||
"updated": 1667387623925,
|
||
"link": null,
|
||
"locked": false,
|
||
"text": "new notation",
|
||
"rawText": "new notation",
|
||
"fontSize": 28,
|
||
"fontFamily": 3,
|
||
"textAlign": "left",
|
||
"verticalAlign": "top",
|
||
"baseline": 27,
|
||
"containerId": null,
|
||
"originalText": "new notation"
|
||
},
|
||
{
|
||
"id": "Vt9of03N",
|
||
"type": "text",
|
||
"x": -606.46875,
|
||
"y": -302.85546875,
|
||
"width": 213,
|
||
"height": 24,
|
||
"angle": 0,
|
||
"strokeColor": "#000000",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 2,
|
||
"strokeStyle": "solid",
|
||
"roughness": 0,
|
||
"opacity": 100,
|
||
"groupIds": [],
|
||
"strokeSharpness": "sharp",
|
||
"seed": 735895152,
|
||
"version": 117,
|
||
"versionNonce": 1111001744,
|
||
"isDeleted": false,
|
||
"boundElements": [
|
||
{
|
||
"id": "sGkGpd--5VINU3jJPttWX",
|
||
"type": "arrow"
|
||
},
|
||
{
|
||
"id": "h6fFvW0-vkPf5ywNlRwRq",
|
||
"type": "arrow"
|
||
},
|
||
{
|
||
"id": "Ff3WkYtJi9NahiVRlEAUe",
|
||
"type": "arrow"
|
||
}
|
||
],
|
||
"updated": 1667387635153,
|
||
"link": null,
|
||
"locked": false,
|
||
"text": "needs to be visual",
|
||
"rawText": "needs to be visual",
|
||
"fontSize": 20,
|
||
"fontFamily": 3,
|
||
"textAlign": "left",
|
||
"verticalAlign": "top",
|
||
"baseline": 19,
|
||
"containerId": null,
|
||
"originalText": "needs to be visual"
|
||
},
|
||
{
|
||
"id": "Sv04EYvk",
|
||
"type": "text",
|
||
"x": -309.875,
|
||
"y": -323.08203125,
|
||
"width": 341,
|
||
"height": 48,
|
||
"angle": 0,
|
||
"strokeColor": "#000000",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 2,
|
||
"strokeStyle": "solid",
|
||
"roughness": 0,
|
||
"opacity": 100,
|
||
"groupIds": [],
|
||
"strokeSharpness": "sharp",
|
||
"seed": 1536659568,
|
||
"version": 163,
|
||
"versionNonce": 1624874096,
|
||
"isDeleted": false,
|
||
"boundElements": [
|
||
{
|
||
"id": "PDH75A4NrpD82IfiKnUub",
|
||
"type": "arrow"
|
||
},
|
||
{
|
||
"id": "h6fFvW0-vkPf5ywNlRwRq",
|
||
"type": "arrow"
|
||
}
|
||
],
|
||
"updated": 1667387617121,
|
||
"link": null,
|
||
"locked": false,
|
||
"text": "use 2D space to make it clear\n(-> paper notation)",
|
||
"rawText": "use 2D space to make it clear\n(-> paper notation)",
|
||
"fontSize": 20,
|
||
"fontFamily": 3,
|
||
"textAlign": "left",
|
||
"verticalAlign": "top",
|
||
"baseline": 43,
|
||
"containerId": null,
|
||
"originalText": "use 2D space to make it clear\n(-> paper notation)"
|
||
},
|
||
{
|
||
"id": "sGkGpd--5VINU3jJPttWX",
|
||
"type": "arrow",
|
||
"x": -422.184724299142,
|
||
"y": -235.341796875,
|
||
"width": 47.26333977521881,
|
||
"height": 39.662109375,
|
||
"angle": 0,
|
||
"strokeColor": "#000000",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 2,
|
||
"strokeStyle": "solid",
|
||
"roughness": 0,
|
||
"opacity": 100,
|
||
"groupIds": [],
|
||
"strokeSharpness": "round",
|
||
"seed": 1697383024,
|
||
"version": 263,
|
||
"versionNonce": 475167344,
|
||
"isDeleted": false,
|
||
"boundElements": null,
|
||
"updated": 1667387493671,
|
||
"link": null,
|
||
"locked": false,
|
||
"points": [
|
||
[
|
||
0,
|
||
0
|
||
],
|
||
[
|
||
-47.26333977521881,
|
||
-39.662109375
|
||
]
|
||
],
|
||
"lastCommittedPoint": null,
|
||
"startBinding": {
|
||
"elementId": "uoDNKXdR",
|
||
"focus": -0.48770520276267304,
|
||
"gap": 1
|
||
},
|
||
"endBinding": {
|
||
"elementId": "Vt9of03N",
|
||
"focus": -0.09628473712276124,
|
||
"gap": 3.8515625
|
||
},
|
||
"startArrowhead": null,
|
||
"endArrowhead": "triangle"
|
||
},
|
||
{
|
||
"id": "PDH75A4NrpD82IfiKnUub",
|
||
"type": "arrow",
|
||
"x": -274.6564378750212,
|
||
"y": -238.650390625,
|
||
"width": 42.56795598718952,
|
||
"height": 27.353515625,
|
||
"angle": 0,
|
||
"strokeColor": "#000000",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 2,
|
||
"strokeStyle": "solid",
|
||
"roughness": 0,
|
||
"opacity": 100,
|
||
"groupIds": [],
|
||
"strokeSharpness": "round",
|
||
"seed": 1734489200,
|
||
"version": 230,
|
||
"versionNonce": 1660529776,
|
||
"isDeleted": false,
|
||
"boundElements": null,
|
||
"updated": 1667387493671,
|
||
"link": null,
|
||
"locked": false,
|
||
"points": [
|
||
[
|
||
0,
|
||
0
|
||
],
|
||
[
|
||
42.56795598718952,
|
||
-27.353515625
|
||
]
|
||
],
|
||
"lastCommittedPoint": null,
|
||
"startBinding": {
|
||
"elementId": "uoDNKXdR",
|
||
"focus": 0.27099763208736716,
|
||
"gap": 4.30859375
|
||
},
|
||
"endBinding": {
|
||
"elementId": "Sv04EYvk",
|
||
"focus": 0.19839772810387618,
|
||
"gap": 9.078125
|
||
},
|
||
"startArrowhead": null,
|
||
"endArrowhead": "triangle"
|
||
},
|
||
{
|
||
"id": "6TPH3W6y",
|
||
"type": "image",
|
||
"x": -575.2621422521756,
|
||
"y": -80.00055026438088,
|
||
"width": 98.03860294117649,
|
||
"height": 89.28515625000001,
|
||
"angle": 0,
|
||
"strokeColor": "#000000",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 2,
|
||
"strokeStyle": "solid",
|
||
"roughness": 0,
|
||
"opacity": 100,
|
||
"strokeSharpness": "sharp",
|
||
"seed": 1744971376,
|
||
"version": 135,
|
||
"versionNonce": 800850544,
|
||
"updated": 1667387701723,
|
||
"isDeleted": false,
|
||
"groupIds": [],
|
||
"boundElements": [
|
||
{
|
||
"id": "sQbfdi74sv2zFw1NFVmIE",
|
||
"type": "arrow"
|
||
}
|
||
],
|
||
"link": null,
|
||
"locked": false,
|
||
"fileId": "ecc6db83354452c80330d95d8ffaa21d2990fc7c",
|
||
"scale": [
|
||
1,
|
||
1
|
||
]
|
||
},
|
||
{
|
||
"id": "geBzr3WZ",
|
||
"type": "text",
|
||
"x": -293.87470324773733,
|
||
"y": -65.39681112712006,
|
||
"width": 40,
|
||
"height": 19,
|
||
"angle": 0,
|
||
"strokeColor": "#000000",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 2,
|
||
"strokeStyle": "solid",
|
||
"roughness": 0,
|
||
"opacity": 100,
|
||
"groupIds": [
|
||
"uVekhoFRhgBdahAkCy-qO",
|
||
"d0kzv4t80SxKp5Kx2tdpB",
|
||
"jypG_pE2K7TCT6eTMwL2E"
|
||
],
|
||
"strokeSharpness": "sharp",
|
||
"seed": 1943263344,
|
||
"version": 78,
|
||
"versionNonce": 1609708656,
|
||
"isDeleted": false,
|
||
"boundElements": null,
|
||
"updated": 1667387701723,
|
||
"link": null,
|
||
"locked": false,
|
||
"text": "k←⍳n",
|
||
"rawText": "k←⍳n",
|
||
"fontSize": 16,
|
||
"fontFamily": 3,
|
||
"textAlign": "left",
|
||
"verticalAlign": "top",
|
||
"baseline": 15,
|
||
"containerId": null,
|
||
"originalText": "k←⍳n"
|
||
},
|
||
{
|
||
"id": "Q7rlMbsp",
|
||
"type": "text",
|
||
"x": -309.0198280022626,
|
||
"y": -54.048394589923866,
|
||
"width": 14,
|
||
"height": 24,
|
||
"angle": 0,
|
||
"strokeColor": "#000000",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 2,
|
||
"strokeStyle": "solid",
|
||
"roughness": 0,
|
||
"opacity": 100,
|
||
"groupIds": [
|
||
"uVekhoFRhgBdahAkCy-qO",
|
||
"d0kzv4t80SxKp5Kx2tdpB",
|
||
"jypG_pE2K7TCT6eTMwL2E"
|
||
],
|
||
"strokeSharpness": "sharp",
|
||
"seed": 1050626672,
|
||
"version": 82,
|
||
"versionNonce": 1993181840,
|
||
"isDeleted": false,
|
||
"boundElements": null,
|
||
"updated": 1667387701723,
|
||
"link": null,
|
||
"locked": false,
|
||
"text": "x",
|
||
"rawText": "x",
|
||
"fontSize": 20,
|
||
"fontFamily": 3,
|
||
"textAlign": "left",
|
||
"verticalAlign": "top",
|
||
"baseline": 19,
|
||
"containerId": null,
|
||
"originalText": "x"
|
||
},
|
||
{
|
||
"id": "bqjvrd4gnL8-vPV9Ji5gT",
|
||
"type": "line",
|
||
"x": -319.1328125,
|
||
"y": -25.418712097351765,
|
||
"width": 75.37109375,
|
||
"height": 0,
|
||
"angle": 0,
|
||
"strokeColor": "#000000",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 2,
|
||
"strokeStyle": "solid",
|
||
"roughness": 0,
|
||
"opacity": 100,
|
||
"groupIds": [
|
||
"d0kzv4t80SxKp5Kx2tdpB",
|
||
"jypG_pE2K7TCT6eTMwL2E"
|
||
],
|
||
"strokeSharpness": "round",
|
||
"seed": 1126988912,
|
||
"version": 65,
|
||
"versionNonce": 1318200944,
|
||
"isDeleted": false,
|
||
"boundElements": null,
|
||
"updated": 1667387701723,
|
||
"link": null,
|
||
"locked": false,
|
||
"points": [
|
||
[
|
||
0,
|
||
0
|
||
],
|
||
[
|
||
75.37109375,
|
||
0
|
||
]
|
||
],
|
||
"lastCommittedPoint": null,
|
||
"startBinding": null,
|
||
"endBinding": null,
|
||
"startArrowhead": null,
|
||
"endArrowhead": null
|
||
},
|
||
{
|
||
"id": "3YZRMXN6",
|
||
"type": "text",
|
||
"x": -293.947265625,
|
||
"y": -20.789029604779664,
|
||
"width": 25,
|
||
"height": 24,
|
||
"angle": 0,
|
||
"strokeColor": "#000000",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 2,
|
||
"strokeStyle": "solid",
|
||
"roughness": 0,
|
||
"opacity": 100,
|
||
"groupIds": [
|
||
"d0kzv4t80SxKp5Kx2tdpB",
|
||
"jypG_pE2K7TCT6eTMwL2E"
|
||
],
|
||
"strokeSharpness": "sharp",
|
||
"seed": 1665363568,
|
||
"version": 53,
|
||
"versionNonce": 937277584,
|
||
"isDeleted": false,
|
||
"boundElements": null,
|
||
"updated": 1667387701723,
|
||
"link": null,
|
||
"locked": false,
|
||
"text": "!k",
|
||
"rawText": "!k",
|
||
"fontSize": 20,
|
||
"fontFamily": 3,
|
||
"textAlign": "left",
|
||
"verticalAlign": "top",
|
||
"baseline": 19,
|
||
"containerId": null,
|
||
"originalText": "!k"
|
||
},
|
||
{
|
||
"id": "2I0rIvW5_X-WiyluNiMVp",
|
||
"type": "line",
|
||
"x": -318.8472837029054,
|
||
"y": -69.04377284232093,
|
||
"width": 28.736404202322035,
|
||
"height": 75.5215495177068,
|
||
"angle": 0,
|
||
"strokeColor": "#000000",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 2,
|
||
"strokeStyle": "solid",
|
||
"roughness": 0,
|
||
"opacity": 100,
|
||
"groupIds": [
|
||
"jypG_pE2K7TCT6eTMwL2E"
|
||
],
|
||
"strokeSharpness": "round",
|
||
"seed": 128721008,
|
||
"version": 541,
|
||
"versionNonce": 140761200,
|
||
"isDeleted": false,
|
||
"boundElements": null,
|
||
"updated": 1667387701723,
|
||
"link": null,
|
||
"locked": false,
|
||
"points": [
|
||
[
|
||
0,
|
||
0
|
||
],
|
||
[
|
||
-14.143613261896519,
|
||
3.577537764629085
|
||
],
|
||
[
|
||
-16.444891403364238,
|
||
34.41918774875788
|
||
],
|
||
[
|
||
-28.719577000264508,
|
||
37.94031737874482
|
||
],
|
||
[
|
||
-16.939795410659826,
|
||
42.01906851691314
|
||
],
|
||
[
|
||
-14.497312748757793,
|
||
72.73795129911412
|
||
],
|
||
[
|
||
0.016827202057527302,
|
||
75.5215495177068
|
||
]
|
||
],
|
||
"lastCommittedPoint": [
|
||
-5.0078125,
|
||
95.48828125
|
||
],
|
||
"startBinding": null,
|
||
"endBinding": null,
|
||
"startArrowhead": null,
|
||
"endArrowhead": null
|
||
},
|
||
{
|
||
"id": "oKFCzCHO",
|
||
"type": "text",
|
||
"x": -363.9708441537864,
|
||
"y": -43.09292036594986,
|
||
"width": 14,
|
||
"height": 24,
|
||
"angle": 0,
|
||
"strokeColor": "#000000",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 2,
|
||
"strokeStyle": "solid",
|
||
"roughness": 0,
|
||
"opacity": 100,
|
||
"groupIds": [
|
||
"jypG_pE2K7TCT6eTMwL2E"
|
||
],
|
||
"strokeSharpness": "sharp",
|
||
"seed": 851856016,
|
||
"version": 57,
|
||
"versionNonce": 45622928,
|
||
"isDeleted": false,
|
||
"boundElements": [
|
||
{
|
||
"id": "sQbfdi74sv2zFw1NFVmIE",
|
||
"type": "arrow"
|
||
}
|
||
],
|
||
"updated": 1667387701723,
|
||
"link": null,
|
||
"locked": false,
|
||
"text": "+",
|
||
"rawText": "+",
|
||
"fontSize": 20,
|
||
"fontFamily": 3,
|
||
"textAlign": "left",
|
||
"verticalAlign": "top",
|
||
"baseline": 19,
|
||
"containerId": null,
|
||
"originalText": "+"
|
||
},
|
||
{
|
||
"id": "sQbfdi74sv2zFw1NFVmIE",
|
||
"type": "arrow",
|
||
"x": -465.57571788681577,
|
||
"y": -29.954760837001942,
|
||
"width": 91.40855643652287,
|
||
"height": 0.07774417298844583,
|
||
"angle": 0,
|
||
"strokeColor": "#1864ab",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 4,
|
||
"strokeStyle": "solid",
|
||
"roughness": 0,
|
||
"opacity": 100,
|
||
"groupIds": [],
|
||
"strokeSharpness": "round",
|
||
"seed": 2127040144,
|
||
"version": 144,
|
||
"versionNonce": 296469136,
|
||
"isDeleted": false,
|
||
"boundElements": null,
|
||
"updated": 1667387701733,
|
||
"link": null,
|
||
"locked": false,
|
||
"points": [
|
||
[
|
||
0,
|
||
0
|
||
],
|
||
[
|
||
91.40855643652287,
|
||
0.07774417298844583
|
||
]
|
||
],
|
||
"lastCommittedPoint": null,
|
||
"startBinding": {
|
||
"elementId": "6TPH3W6y",
|
||
"focus": 0.11976503496249499,
|
||
"gap": 11.647821424183348
|
||
},
|
||
"endBinding": {
|
||
"elementId": "oKFCzCHO",
|
||
"focus": -0.1024932659751987,
|
||
"gap": 10.196317296506493
|
||
},
|
||
"startArrowhead": null,
|
||
"endArrowhead": "triangle"
|
||
},
|
||
{
|
||
"id": "hYZrwciR",
|
||
"type": "image",
|
||
"x": -587.9772747938885,
|
||
"y": 52.45652634006606,
|
||
"width": 173,
|
||
"height": 33,
|
||
"angle": 0,
|
||
"strokeColor": "#000000",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 1,
|
||
"strokeStyle": "solid",
|
||
"roughness": 1,
|
||
"opacity": 100,
|
||
"strokeSharpness": "sharp",
|
||
"seed": 90424,
|
||
"version": 172,
|
||
"versionNonce": 1063830128,
|
||
"updated": 1667387696144,
|
||
"isDeleted": false,
|
||
"groupIds": [],
|
||
"boundElements": [
|
||
{
|
||
"id": "lDqT0uX5c76eP6OBiqgQZ",
|
||
"type": "arrow"
|
||
}
|
||
],
|
||
"link": null,
|
||
"locked": false,
|
||
"fileId": "dcac0daa298bd7281f2dd6cbca54b5ec167c817d",
|
||
"scale": [
|
||
1,
|
||
1
|
||
]
|
||
},
|
||
{
|
||
"id": "n3a3VF9b",
|
||
"type": "text",
|
||
"x": -316.5205070729432,
|
||
"y": 55.78289180262664,
|
||
"width": 21,
|
||
"height": 19,
|
||
"angle": 0,
|
||
"strokeColor": "#000000",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 4,
|
||
"strokeStyle": "solid",
|
||
"roughness": 0,
|
||
"opacity": 100,
|
||
"groupIds": [
|
||
"ohMTiIXEa2vl1wts-z8CZ"
|
||
],
|
||
"strokeSharpness": "sharp",
|
||
"seed": 1521634416,
|
||
"version": 140,
|
||
"versionNonce": 1543959664,
|
||
"isDeleted": false,
|
||
"boundElements": [
|
||
{
|
||
"id": "lDqT0uX5c76eP6OBiqgQZ",
|
||
"type": "arrow"
|
||
}
|
||
],
|
||
"updated": 1667387696144,
|
||
"link": null,
|
||
"locked": false,
|
||
"text": "⍳n",
|
||
"rawText": "⍳n",
|
||
"fontSize": 16,
|
||
"fontFamily": 3,
|
||
"textAlign": "left",
|
||
"verticalAlign": "top",
|
||
"baseline": 15,
|
||
"containerId": null,
|
||
"originalText": "⍳n"
|
||
},
|
||
{
|
||
"id": "iiH2x6Cg",
|
||
"type": "text",
|
||
"x": -284.8549673966061,
|
||
"y": 73.94683044427843,
|
||
"width": 52,
|
||
"height": 20,
|
||
"angle": 0,
|
||
"strokeColor": "#000000",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 4,
|
||
"strokeStyle": "solid",
|
||
"roughness": 0,
|
||
"opacity": 100,
|
||
"groupIds": [
|
||
"Bbpqueg1zl5IBNodAZIOV",
|
||
"ohMTiIXEa2vl1wts-z8CZ"
|
||
],
|
||
"strokeSharpness": "sharp",
|
||
"seed": 1068825744,
|
||
"version": 140,
|
||
"versionNonce": 1779361392,
|
||
"isDeleted": false,
|
||
"boundElements": null,
|
||
"updated": 1667387696144,
|
||
"link": null,
|
||
"locked": false,
|
||
"text": "(⌊=⊢)",
|
||
"rawText": "(⌊=⊢)",
|
||
"fontSize": 16,
|
||
"fontFamily": 3,
|
||
"textAlign": "left",
|
||
"verticalAlign": "top",
|
||
"baseline": 15,
|
||
"containerId": null,
|
||
"originalText": "(⌊=⊢)"
|
||
},
|
||
{
|
||
"id": "VecuHCJ7",
|
||
"type": "image",
|
||
"x": -233.37115719776608,
|
||
"y": 74.44683044427843,
|
||
"width": 20,
|
||
"height": 19,
|
||
"angle": 0,
|
||
"strokeColor": "#000000",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 1,
|
||
"strokeStyle": "solid",
|
||
"roughness": 1,
|
||
"opacity": 100,
|
||
"strokeSharpness": "sharp",
|
||
"seed": 60705,
|
||
"version": 182,
|
||
"versionNonce": 797767824,
|
||
"updated": 1667387696144,
|
||
"isDeleted": false,
|
||
"groupIds": [
|
||
"Bbpqueg1zl5IBNodAZIOV",
|
||
"ohMTiIXEa2vl1wts-z8CZ"
|
||
],
|
||
"boundElements": [],
|
||
"link": null,
|
||
"locked": false,
|
||
"fileId": "d1169f81533e2620fe9fcda22bf0befe9132806d",
|
||
"scale": [
|
||
1,
|
||
1
|
||
]
|
||
},
|
||
{
|
||
"id": "9zMrk9xpXhc34Dbc-aydM",
|
||
"type": "line",
|
||
"x": -299.317073663174,
|
||
"y": 89.89277290222935,
|
||
"width": 17.641412956264332,
|
||
"height": 30.555823557553666,
|
||
"angle": 0,
|
||
"strokeColor": "#000000",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 2,
|
||
"strokeStyle": "solid",
|
||
"roughness": 0,
|
||
"opacity": 100,
|
||
"groupIds": [
|
||
"ohMTiIXEa2vl1wts-z8CZ"
|
||
],
|
||
"strokeSharpness": "round",
|
||
"seed": 1172041328,
|
||
"version": 108,
|
||
"versionNonce": 373856368,
|
||
"isDeleted": false,
|
||
"boundElements": null,
|
||
"updated": 1667387696144,
|
||
"link": null,
|
||
"locked": false,
|
||
"points": [
|
||
[
|
||
0,
|
||
0
|
||
],
|
||
[
|
||
17.641412956264332,
|
||
-30.555823557553666
|
||
]
|
||
],
|
||
"lastCommittedPoint": null,
|
||
"startBinding": null,
|
||
"endBinding": null,
|
||
"startArrowhead": null,
|
||
"endArrowhead": null
|
||
},
|
||
{
|
||
"id": "lDqT0uX5c76eP6OBiqgQZ",
|
||
"type": "arrow",
|
||
"x": -408.011877954606,
|
||
"y": 69.64134269475275,
|
||
"width": 82.24150438675497,
|
||
"height": 0.7508215676588037,
|
||
"angle": 0,
|
||
"strokeColor": "#1864ab",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 4,
|
||
"strokeStyle": "solid",
|
||
"roughness": 0,
|
||
"opacity": 100,
|
||
"groupIds": [],
|
||
"strokeSharpness": "round",
|
||
"seed": 1969388656,
|
||
"version": 178,
|
||
"versionNonce": 1760826512,
|
||
"isDeleted": false,
|
||
"boundElements": null,
|
||
"updated": 1667387696234,
|
||
"link": null,
|
||
"locked": false,
|
||
"points": [
|
||
[
|
||
0,
|
||
0
|
||
],
|
||
[
|
||
82.24150438675497,
|
||
-0.7508215676588037
|
||
]
|
||
],
|
||
"lastCommittedPoint": null,
|
||
"startBinding": {
|
||
"elementId": "hYZrwciR",
|
||
"focus": 0.08896083774799995,
|
||
"gap": 6.965396839282448
|
||
},
|
||
"endBinding": {
|
||
"elementId": "n3a3VF9b",
|
||
"focus": -0.3571669083917963,
|
||
"gap": 9.249866494907849
|
||
},
|
||
"startArrowhead": null,
|
||
"endArrowhead": "triangle"
|
||
},
|
||
{
|
||
"id": "eMMtOdFFFLykP7VDKW1rg",
|
||
"type": "arrow",
|
||
"x": -235.619140625,
|
||
"y": -216.46849013962037,
|
||
"width": 50.482421875,
|
||
"height": 2.6327697011920748,
|
||
"angle": 0,
|
||
"strokeColor": "#000000",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 2,
|
||
"strokeStyle": "solid",
|
||
"roughness": 0,
|
||
"opacity": 100,
|
||
"groupIds": [],
|
||
"strokeSharpness": "round",
|
||
"seed": 1911201392,
|
||
"version": 207,
|
||
"versionNonce": 568329872,
|
||
"isDeleted": false,
|
||
"boundElements": null,
|
||
"updated": 1667387529752,
|
||
"link": null,
|
||
"locked": false,
|
||
"points": [
|
||
[
|
||
0,
|
||
0
|
||
],
|
||
[
|
||
50.482421875,
|
||
-2.6327697011920748
|
||
]
|
||
],
|
||
"lastCommittedPoint": null,
|
||
"startBinding": {
|
||
"elementId": "uoDNKXdR",
|
||
"focus": 0.2900137143328829,
|
||
"gap": 7.146484375
|
||
},
|
||
"endBinding": {
|
||
"elementId": "XmW1riGQ",
|
||
"focus": 0.16231885194576898,
|
||
"gap": 10.11328125
|
||
},
|
||
"startArrowhead": null,
|
||
"endArrowhead": "triangle"
|
||
},
|
||
{
|
||
"id": "XmW1riGQ",
|
||
"type": "text",
|
||
"x": -175.0234375,
|
||
"y": -232.13010040286076,
|
||
"width": 208,
|
||
"height": 19,
|
||
"angle": 0,
|
||
"strokeColor": "#000000",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 2,
|
||
"strokeStyle": "solid",
|
||
"roughness": 0,
|
||
"opacity": 100,
|
||
"groupIds": [],
|
||
"strokeSharpness": "sharp",
|
||
"seed": 1145167984,
|
||
"version": 148,
|
||
"versionNonce": 1205151376,
|
||
"isDeleted": false,
|
||
"boundElements": [
|
||
{
|
||
"id": "eMMtOdFFFLykP7VDKW1rg",
|
||
"type": "arrow"
|
||
},
|
||
{
|
||
"id": "1ootj6jFeMrB6mlYiyHGx",
|
||
"type": "arrow"
|
||
},
|
||
{
|
||
"id": "Rfrwvv8RIZcQNrgb5ETZv",
|
||
"type": "arrow"
|
||
}
|
||
],
|
||
"updated": 1667387580806,
|
||
"link": null,
|
||
"locked": false,
|
||
"text": "you can type it easily",
|
||
"rawText": "you can type it easily",
|
||
"fontSize": 16,
|
||
"fontFamily": 3,
|
||
"textAlign": "left",
|
||
"verticalAlign": "top",
|
||
"baseline": 15,
|
||
"containerId": null,
|
||
"originalText": "you can type it easily"
|
||
},
|
||
{
|
||
"id": "1ootj6jFeMrB6mlYiyHGx",
|
||
"type": "arrow",
|
||
"x": -104.28744481524541,
|
||
"y": -204.65353790286076,
|
||
"width": 36.785314295800305,
|
||
"height": 35.828125,
|
||
"angle": 0,
|
||
"strokeColor": "#000000",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 2,
|
||
"strokeStyle": "solid",
|
||
"roughness": 0,
|
||
"opacity": 100,
|
||
"groupIds": [],
|
||
"strokeSharpness": "round",
|
||
"seed": 96377968,
|
||
"version": 242,
|
||
"versionNonce": 502647920,
|
||
"isDeleted": false,
|
||
"boundElements": null,
|
||
"updated": 1667387577856,
|
||
"link": null,
|
||
"locked": false,
|
||
"points": [
|
||
[
|
||
0,
|
||
0
|
||
],
|
||
[
|
||
-36.785314295800305,
|
||
35.828125
|
||
]
|
||
],
|
||
"lastCommittedPoint": null,
|
||
"startBinding": {
|
||
"elementId": "XmW1riGQ",
|
||
"focus": 0.13125728681733512,
|
||
"gap": 8.4765625
|
||
},
|
||
"endBinding": {
|
||
"elementId": "A1L2w9N6",
|
||
"focus": 0.1200069685057304,
|
||
"gap": 7.861328125
|
||
},
|
||
"startArrowhead": null,
|
||
"endArrowhead": "triangle"
|
||
},
|
||
{
|
||
"id": "A1L2w9N6",
|
||
"type": "text",
|
||
"x": -266.193359375,
|
||
"y": -160.96408477786076,
|
||
"width": 170,
|
||
"height": 38,
|
||
"angle": 0,
|
||
"strokeColor": "#000000",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 2,
|
||
"strokeStyle": "solid",
|
||
"roughness": 0,
|
||
"opacity": 100,
|
||
"groupIds": [],
|
||
"strokeSharpness": "sharp",
|
||
"seed": 1773953648,
|
||
"version": 177,
|
||
"versionNonce": 206740080,
|
||
"isDeleted": false,
|
||
"boundElements": [
|
||
{
|
||
"id": "1ootj6jFeMrB6mlYiyHGx",
|
||
"type": "arrow"
|
||
}
|
||
],
|
||
"updated": 1667387577856,
|
||
"link": null,
|
||
"locked": false,
|
||
"text": "shorts for symbols\n(even 2D symbols)",
|
||
"rawText": "shorts for symbols\n(even 2D symbols)",
|
||
"fontSize": 16,
|
||
"fontFamily": 3,
|
||
"textAlign": "left",
|
||
"verticalAlign": "top",
|
||
"baseline": 34,
|
||
"containerId": null,
|
||
"originalText": "shorts for symbols\n(even 2D symbols)"
|
||
},
|
||
{
|
||
"id": "Rfrwvv8RIZcQNrgb5ETZv",
|
||
"type": "arrow",
|
||
"x": -47.631782470253796,
|
||
"y": -206.01486602786076,
|
||
"width": 43.103359161940446,
|
||
"height": 43.55078125,
|
||
"angle": 0,
|
||
"strokeColor": "#000000",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 2,
|
||
"strokeStyle": "solid",
|
||
"roughness": 0,
|
||
"opacity": 100,
|
||
"groupIds": [],
|
||
"strokeSharpness": "round",
|
||
"seed": 1047491216,
|
||
"version": 159,
|
||
"versionNonce": 1438619248,
|
||
"isDeleted": false,
|
||
"boundElements": null,
|
||
"updated": 1667387606185,
|
||
"link": null,
|
||
"locked": false,
|
||
"points": [
|
||
[
|
||
0,
|
||
0
|
||
],
|
||
[
|
||
43.103359161940446,
|
||
43.55078125
|
||
]
|
||
],
|
||
"lastCommittedPoint": null,
|
||
"startBinding": {
|
||
"elementId": "XmW1riGQ",
|
||
"focus": -0.061260770464971824,
|
||
"gap": 7.115234375
|
||
},
|
||
"endBinding": {
|
||
"elementId": "f4ZNTfgo",
|
||
"focus": -0.14168613142419656,
|
||
"gap": 4.578125
|
||
},
|
||
"startArrowhead": null,
|
||
"endArrowhead": "triangle"
|
||
},
|
||
{
|
||
"id": "f4ZNTfgo",
|
||
"type": "text",
|
||
"x": -31.314453125,
|
||
"y": -157.88595977786076,
|
||
"width": 123,
|
||
"height": 38,
|
||
"angle": 0,
|
||
"strokeColor": "#000000",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 2,
|
||
"strokeStyle": "solid",
|
||
"roughness": 0,
|
||
"opacity": 100,
|
||
"groupIds": [],
|
||
"strokeSharpness": "sharp",
|
||
"seed": 1938342544,
|
||
"version": 114,
|
||
"versionNonce": 409133680,
|
||
"isDeleted": false,
|
||
"boundElements": [
|
||
{
|
||
"id": "Rfrwvv8RIZcQNrgb5ETZv",
|
||
"type": "arrow"
|
||
}
|
||
],
|
||
"updated": 1667387603388,
|
||
"link": null,
|
||
"locked": false,
|
||
"text": "right-to-left\npriority",
|
||
"rawText": "right-to-left\npriority",
|
||
"fontSize": 16,
|
||
"fontFamily": 3,
|
||
"textAlign": "left",
|
||
"verticalAlign": "top",
|
||
"baseline": 34,
|
||
"containerId": null,
|
||
"originalText": "right-to-left\npriority"
|
||
},
|
||
{
|
||
"id": "h6fFvW0-vkPf5ywNlRwRq",
|
||
"type": "arrow",
|
||
"x": -384.27734375,
|
||
"y": -293.51877227786076,
|
||
"width": 67.109375,
|
||
"height": 6.419921875,
|
||
"angle": 0,
|
||
"strokeColor": "#000000",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 2,
|
||
"strokeStyle": "dashed",
|
||
"roughness": 0,
|
||
"opacity": 100,
|
||
"groupIds": [],
|
||
"strokeSharpness": "round",
|
||
"seed": 1435657360,
|
||
"version": 52,
|
||
"versionNonce": 314568848,
|
||
"isDeleted": false,
|
||
"boundElements": null,
|
||
"updated": 1667387638792,
|
||
"link": null,
|
||
"locked": false,
|
||
"points": [
|
||
[
|
||
0,
|
||
0
|
||
],
|
||
[
|
||
67.109375,
|
||
-6.419921875
|
||
]
|
||
],
|
||
"lastCommittedPoint": null,
|
||
"startBinding": {
|
||
"elementId": "Vt9of03N",
|
||
"focus": 0.3787670976513249,
|
||
"gap": 9.19140625
|
||
},
|
||
"endBinding": {
|
||
"elementId": "Sv04EYvk",
|
||
"focus": 0.4431825644079868,
|
||
"gap": 7.29296875
|
||
},
|
||
"startArrowhead": null,
|
||
"endArrowhead": "triangle"
|
||
},
|
||
{
|
||
"id": "tB_Xt7eGPSjQ-DSv2ikWX",
|
||
"type": "arrow",
|
||
"x": -448.716796875,
|
||
"y": -208.06922321468903,
|
||
"width": 70.84710446564986,
|
||
"height": 29.50748218682827,
|
||
"angle": 0,
|
||
"strokeColor": "#000000",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 2,
|
||
"strokeStyle": "solid",
|
||
"roughness": 0,
|
||
"opacity": 100,
|
||
"groupIds": [],
|
||
"strokeSharpness": "round",
|
||
"seed": 239898224,
|
||
"version": 75,
|
||
"versionNonce": 771109008,
|
||
"isDeleted": false,
|
||
"boundElements": null,
|
||
"updated": 1667387632242,
|
||
"link": null,
|
||
"locked": false,
|
||
"points": [
|
||
[
|
||
0,
|
||
0
|
||
],
|
||
[
|
||
-70.84710446564986,
|
||
29.50748218682827
|
||
]
|
||
],
|
||
"lastCommittedPoint": null,
|
||
"startBinding": {
|
||
"elementId": "uoDNKXdR",
|
||
"focus": 0.6006093327848615,
|
||
"gap": 6.951171875
|
||
},
|
||
"endBinding": {
|
||
"elementId": "S9EEd8jS",
|
||
"focus": -0.25890653169876965,
|
||
"gap": 7.494140625
|
||
},
|
||
"startArrowhead": null,
|
||
"endArrowhead": "triangle"
|
||
},
|
||
{
|
||
"id": "S9EEd8jS",
|
||
"type": "text",
|
||
"x": -641.91015625,
|
||
"y": -171.06760040286076,
|
||
"width": 236,
|
||
"height": 19,
|
||
"angle": 0,
|
||
"strokeColor": "#000000",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 2,
|
||
"strokeStyle": "solid",
|
||
"roughness": 0,
|
||
"opacity": 100,
|
||
"groupIds": [],
|
||
"strokeSharpness": "sharp",
|
||
"seed": 2025573520,
|
||
"version": 78,
|
||
"versionNonce": 1575532688,
|
||
"isDeleted": false,
|
||
"boundElements": [
|
||
{
|
||
"id": "tB_Xt7eGPSjQ-DSv2ikWX",
|
||
"type": "arrow"
|
||
},
|
||
{
|
||
"id": "Ff3WkYtJi9NahiVRlEAUe",
|
||
"type": "arrow"
|
||
}
|
||
],
|
||
"updated": 1667387635153,
|
||
"link": null,
|
||
"locked": false,
|
||
"text": "more mathematical symbols",
|
||
"rawText": "more mathematical symbols",
|
||
"fontSize": 16,
|
||
"fontFamily": 3,
|
||
"textAlign": "left",
|
||
"verticalAlign": "top",
|
||
"baseline": 15,
|
||
"containerId": null,
|
||
"originalText": "more mathematical symbols"
|
||
},
|
||
{
|
||
"id": "Ff3WkYtJi9NahiVRlEAUe",
|
||
"type": "arrow",
|
||
"x": -546.21484375,
|
||
"y": -270.80392852786076,
|
||
"width": 7.412109375,
|
||
"height": 94.599609375,
|
||
"angle": 0,
|
||
"strokeColor": "#000000",
|
||
"backgroundColor": "transparent",
|
||
"fillStyle": "hachure",
|
||
"strokeWidth": 2,
|
||
"strokeStyle": "dashed",
|
||
"roughness": 0,
|
||
"opacity": 100,
|
||
"groupIds": [],
|
||
"strokeSharpness": "round",
|
||
"seed": 251764368,
|
||
"version": 57,
|
||
"versionNonce": 1843470448,
|
||
"isDeleted": false,
|
||
"boundElements": null,
|
||
"updated": 1667387638792,
|
||
"link": null,
|
||
"locked": false,
|
||
"points": [
|
||
[
|
||
0,
|
||
0
|
||
],
|
||
[
|
||
-7.412109375,
|
||
94.599609375
|
||
]
|
||
],
|
||
"lastCommittedPoint": null,
|
||
"startBinding": {
|
||
"elementId": "Vt9of03N",
|
||
"focus": 0.41581265388448724,
|
||
"gap": 8.051540222139238
|
||
},
|
||
"endBinding": {
|
||
"elementId": "S9EEd8jS",
|
||
"focus": -0.2599165338589243,
|
||
"gap": 5.13671875
|
||
},
|
||
"startArrowhead": null,
|
||
"endArrowhead": "triangle"
|
||
}
|
||
],
|
||
"appState": {
|
||
"theme": "dark",
|
||
"viewBackgroundColor": "#ffffff",
|
||
"currentItemStrokeColor": "#000000",
|
||
"currentItemBackgroundColor": "transparent",
|
||
"currentItemFillStyle": "hachure",
|
||
"currentItemStrokeWidth": 2,
|
||
"currentItemStrokeStyle": "dashed",
|
||
"currentItemRoughness": 0,
|
||
"currentItemOpacity": 100,
|
||
"currentItemFontFamily": 3,
|
||
"currentItemFontSize": 16,
|
||
"currentItemTextAlign": "left",
|
||
"currentItemStrokeSharpness": "sharp",
|
||
"currentItemStartArrowhead": null,
|
||
"currentItemEndArrowhead": "triangle",
|
||
"currentItemLinearStrokeSharpness": "round",
|
||
"gridSize": null,
|
||
"colorPalette": {}
|
||
},
|
||
"files": {}
|
||
}
|
||
```
|
||
%% |