diff --git a/src/main.rs b/src/main.rs
index 7aab3b3..60ea003 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -95,11 +95,7 @@ struct LdmcPrimCMorphism {
 fn encode_type_to_symbol(dict: &mut impl TypeDict, t: &laddertypes::TypeTerm)-> String {
     match t {
         laddertypes::TypeTerm::Char(c) => {
-            match *c {
-                '\0' => { "NULL".into() },
-                '\t' => { "TAB".into() },
-                c => { format!("{}", c) }
-            }
+            format!("{}", (*c as u64))
         },
         t => dict.unparse(t)
     }