tree_input_locality.tex
Paper III: Typed Transfer, Nonlinear Packets, and Obstruction Theory
tree_input_locality.tex
This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.
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}
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
Back to Paper III: Typed Transfer, Nonlinear Packets, and Obstruction Theory