Refactoring

3 files changed, 13 insertions, 10 deletions

diff --git a/cc/n.lyx b/cc/n.lyx
index 7ffc706..fad8835 100644
--- a/cc/n.lyx
+++ b/cc/n.lyx
@@ -6,7 +6,7 @@
 \origin unavailable
 \textclass book
 \begin_preamble
-\usepackage{tikz}
+\input{spec}
 \end_preamble
 \use_default_options true
 \maintain_unincluded_children false
diff --git a/cc/spec.tex b/cc/spec.tex
new file mode 100644
index 0000000..a320b4f
--- /dev/null
+++ b/cc/spec.tex
@@ -0,0 +1,11 @@
+\usepackage{tikz}
+\def\program#1#2{-- ++(1.5,0) -- ++(0,1) arc(-90:90:0.5) -- ++(-1.5,0) arc(90:270:0.5) -- ++(0,-1) ++(0.75,0.5) node{#2} ++(0,1) node{#1} ++(-0.75,-1.5)}
+\def\translator#1#2#3{-- ++(1.5,0) -- ++(0,1) -- ++(0.7,0) -- ++(0,1) -- ++(-2.9,0) -- ++(0,-1) -- ++(0.7,0) -- ++(0,-1) ++(0,1.5) node{#1} ++(0.75,0) node{$\longrightarrow$} ++(0.75,0) node{#2} ++(-0.75,-1) node{#3} ++(-0.75,-0.5)}
+\def\machine#1{-- ++(0.75,-0.5) -- ++(0.75,0.5) -- ++(0,1) -- ++(-1.5,0) -- ++(0,-1) ++(0.75,0.5) node{#1} ++(-0.75,-0.5)}
+\def\run#1{++(0,1) #1 ++(0,-1)}
+\def\runover#1{++(0,-1) \machine{#1} ++(0,1)} 
+\def\source#1{++(-2.2,1) #1 ++(2.2,-1)}
+\def\object#1{++(2.2,1) #1 ++(-2.2,-1)}
+\def\interpreter#1#2{-- ++(1.5,0) -- ++(0,2) -- ++(-1.5,0) -- ++(0,-2) ++(0.75,0.5) node{#2} ++(0,1) node{#1} ++(-0.75,-1.5)}
+\def\interpret#1{++(0,2) #1 ++(0,-2)}
+\def\nexttranslator#1{++(4.4,0) #1 ++(-4.4,0)}
diff --git a/ts/n2.lyx b/ts/n2.lyx
index ff8d11f..19703bf 100644
--- a/ts/n2.lyx
+++ b/ts/n2.lyx
@@ -78,15 +78,7 @@
 \begin_body
 
 \begin_layout Standard
-Una 
-\series bold
-propiedad
-\series default
- de un espacio topológico es 
-\series bold
-topológica
-\series default
- es invariante por homeomorfismos, y es 
+Una propiedad de un espacio topológico es 
 \series bold
 hereditaria
 \series default