pile of work-in-progress-crud

1 files changed, 1 insertions, 2 deletions

diff --git a/essays/post_formalism_memories.tex b/essays/post_formalism_memories.tex
index 6cf9b4d..73477a5 100644
--- a/essays/post_formalism_memories.tex
+++ b/essays/post_formalism_memories.tex
@@ -1,7 +1,6 @@
 \newcommand{\midheading}[1]{
 	{ \vskip 1em \centering \large \textsc{#1} \par \vskip 1em }}
 
-\newcommand{\sysname}[1]{\enquote{\textsc{#1}}}
 
 \chapter{Post-Formalism in Constructed Memories}
 \section{Post-Formalist Mathematics}
@@ -23,7 +22,7 @@ innovations.
 
 The formalist position goes as follows. Pure mathematics is the 
 manipulation of the meaningless and arbitrary, but typographically 
-well-defined ink-shapes on paper `$w$,' `$x$,' `$y$,' `$z$,' `${}'$,' `$($,' `$)$,' `$\downarrow$,' and `$\in$.' 
+well-defined ink-shapes on paper `$w$,' `$x$,' `$y$,' `$z$,' `$'$,' `$($,' `$)$,' `$\downarrow$,' and `$\in$.' 
 These shapes are manipulated according to arbitrary but well-detined 
 mechanical rules. Actually, the rules mimic the structure of primitive 
 systems such as Euclid's geometry. There are formation rules, mechanical