tree_input_locality.tex

Paper III: Typed Transfer, Nonlinear Packets, and Obstruction Theory

tree_input_locality.tex

Download original file

This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.

Read the typeset paper

Skip source text

1 \begin{tikzpicture}[x=1cm,y=1cm,>=Latex,font=\sffamily\small,line cap=round,line join=round]
2 \node[draw,rounded corners=1pt,fill=black!4,minimum width=15mm,minimum height=7mm] at (5.00000,4.10000) {$-\ :\ 2$};
3 \node[draw,rounded corners=1pt,fill=black!4,minimum width=15mm,minimum height=7mm] at (3.20000,2.65000) {$+\ :\ 7$};
4 \node[draw,rounded corners=1pt,fill=black!4,minimum width=15mm,minimum height=7mm] at (7.00000,2.65000) {$y=5$};
5 \node[draw,rounded corners=1pt,fill=black!4,minimum width=15mm,minimum height=7mm] at (1.80000,1.10000) {$(\cdot)^2:\ 4$};
6 \node[draw,rounded corners=1pt,fill=black!4,minimum width=15mm,minimum height=7mm] at (4.60000,1.10000) {$3$};
7 \node[draw,rounded corners=1pt,fill=black!4,minimum width=15mm,minimum height=7mm] at (1.80000,-0.40000) {$x=2$};
8 \draw[->] (3.20000,3.00000) -- (4.65000,3.75000);
9 \node[font=\sffamily\scriptsize] at (3.92500,3.60500) {left};
10 \draw[->] (7.00000,3.00000) -- (5.40000,3.75000);
11 \node[font=\sffamily\scriptsize] at (6.20000,3.60500) {right};
12 \draw[->] (1.80000,1.45000) -- (2.85000,2.30000);
13 \draw[->] (4.60000,1.45000) -- (3.55000,2.30000);
14 \draw[->] (1.80000,-0.05000) -- (1.80000,0.75000);
15 \draw[black!25] (8.00000,-0.70000) -- (8.00000,4.50000);
16 \node[] at (10.20000,3.70000) {$\operatorname{inputs}(t)=\{x,y\}$};
17 \node[] at (10.20000,2.45000) {unused input: $-100$ or $100$};
18 \node[] at (10.20000,1.60000) {same value: 2};
19 \node[] at (10.20000,0.30000) {$x-x:\ \{x\}\text{ syntactically}$};
20 \node[] at (10.20000,-0.45000) {but always zero};
21 \end{tikzpicture}

Back to source controls

Other PDFs for this work

Original file and source record

This copy matches the recorded source file. Its publication here does not change the work’s review status.

SHA-256: 7734f93fbe918ba6280dc4356e3a2438f474e91153717e6b3190adea56d31023

Original source on GitHub

Back to Paper III: Typed Transfer, Nonlinear Packets, and Obstruction Theory