From 7690272bfa97d74c3e841e9101dcf024b9e8f8ae Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Sun, 26 Nov 2023 22:14:58 -0800
Subject: [PATCH 1/3] feat: Shorter symbol category

---
 Pantograph/Symbol.lean | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/Pantograph/Symbol.lean b/Pantograph/Symbol.lean
index fb0ea1d..3b781b5 100644
--- a/Pantograph/Symbol.lean
+++ b/Pantograph/Symbol.lean
@@ -14,14 +14,14 @@ def is_symbol_unsafe_or_internal (n: Lean.Name) (info: Lean.ConstantInfo): Bool
 
 def to_compact_symbol_name (n: Lean.Name) (info: Lean.ConstantInfo): String :=
   let pref := match info with
-  | .axiomInfo  _ => "axiom"
-  | .defnInfo   _ => "defn"
-  | .thmInfo    _ => "thm"
-  | .opaqueInfo _ => "opaque"
-  | .quotInfo   _ => "quot"
-  | .inductInfo _ => "induct"
-  | .ctorInfo   _ => "ctor"
-  | .recInfo    _ => "rec"
+  | .axiomInfo  _ => "a"
+  | .defnInfo   _ => "d"
+  | .thmInfo    _ => "t"
+  | .opaqueInfo _ => "o"
+  | .quotInfo   _ => "q"
+  | .inductInfo _ => "i"
+  | .ctorInfo   _ => "c"
+  | .recInfo    _ => "r"
   s!"{pref}|{toString n}"
 
 def to_filtered_symbol (n: Lean.Name) (info: Lean.ConstantInfo): Option String :=
-- 
2.44.1


From 0a5a96275fe7e11d6256863b4b51b83cd967b2c5 Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Sun, 26 Nov 2023 23:48:47 -0800
Subject: [PATCH 2/3] chore: Version bump to 0.2.9

---
 Pantograph/Version.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Pantograph/Version.lean b/Pantograph/Version.lean
index 3fb09e9..a96b83a 100644
--- a/Pantograph/Version.lean
+++ b/Pantograph/Version.lean
@@ -1,5 +1,5 @@
 namespace Pantograph
 
-def version := "0.2.8"
+def version := "0.2.9"
 
 end Pantograph
-- 
2.44.1


From 967e3dfb4f2aa808250967d43a8be25965537c0d Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Mon, 27 Nov 2023 09:54:41 -0800
Subject: [PATCH 3/3] feat: Remove | in symbol output

---
 Pantograph/Symbol.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Pantograph/Symbol.lean b/Pantograph/Symbol.lean
index 3b781b5..5fbb0d0 100644
--- a/Pantograph/Symbol.lean
+++ b/Pantograph/Symbol.lean
@@ -22,7 +22,7 @@ def to_compact_symbol_name (n: Lean.Name) (info: Lean.ConstantInfo): String :=
   | .inductInfo _ => "i"
   | .ctorInfo   _ => "c"
   | .recInfo    _ => "r"
-  s!"{pref}|{toString n}"
+  s!"{pref}{toString n}"
 
 def to_filtered_symbol (n: Lean.Name) (info: Lean.ConstantInfo): Option String :=
   if is_symbol_unsafe_or_internal n info
-- 
2.44.1