From 7d9d13dc482d2e38de04bf751d2f2de3416b1971 Mon Sep 17 00:00:00 2001
From: jlh <48520973+Jlh18@users.noreply.github.com>
Date: Mon, 19 Jul 2021 19:03:32 +0100
Subject: [PATCH] Update Plan.org

---
 Plan.org | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Plan.org b/Plan.org
index 7f1435a..734dad3 100644
--- a/Plan.org
+++ b/Plan.org
@@ -63,8 +63,8 @@
   + HITs, examples
     - the constructed interval
     - booleans and covers
-    - S^n
-    - S^1 with 2 cw structures equiv
+    - =S^n=
+    - =S^1= with 2 cw structures equiv
   + Homotopy n-types
     - homotopy levels being closed under type constructions, in particular Set and ETT inside HoTT
       + in particular sigma types