Pantograph/Symbol.lean

@@ -14,15 +14,15 @@ 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  _ => "a"
+  | .axiomInfo  _ => "axiom"
-  | .defnInfo   _ => "d"
+  | .defnInfo   _ => "defn"
-  | .thmInfo    _ => "t"
+  | .thmInfo    _ => "thm"
-  | .opaqueInfo _ => "o"
+  | .opaqueInfo _ => "opaque"
-  | .quotInfo   _ => "q"
+  | .quotInfo   _ => "quot"
-  | .inductInfo _ => "i"
+  | .inductInfo _ => "induct"
-  | .ctorInfo   _ => "c"
+  | .ctorInfo   _ => "ctor"
-  | .recInfo    _ => "r"
+  | .recInfo    _ => "rec"
-  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

Pantograph/Version.lean

@@ -1,5 +1,5 @@
 namespace Pantograph
 
-def version := "0.2.9"
+def version := "0.2.8"
 
 end Pantograph