From 6098d184521764cbd29b682605b0455df7f558d2 Mon Sep 17 00:00:00 2001
From: grr <grr@lo2.org>
Date: Mon, 24 Jun 2024 19:27:13 -0400
Subject: pile of work-in-progress-crud

---
 essays/post_formalism_memories.tex | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'essays/post_formalism_memories.tex')

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 
-- 
cgit v1.2.3

