diff --git a/src/bimap.rs b/src/bimap.rs
index 177c041..9ea311a 100644
--- a/src/bimap.rs
+++ b/src/bimap.rs
@@ -1,6 +1,6 @@
 use std::{collections::HashMap, hash::Hash};
 
-//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>
+//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>\\
 
 pub struct Bimap<V: Eq + Hash, Λ: Eq + Hash> {
     pub mλ: HashMap<V, Λ>,
@@ -21,5 +21,4 @@ impl<V: Eq + Hash + Clone, Λ: Eq + Hash + Clone> Bimap<V, Λ> {
     }
 }
 
-//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>
-
+//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>\\
diff --git a/src/dict.rs b/src/dict.rs
index 45620c5..83b63ee 100644
--- a/src/dict.rs
+++ b/src/dict.rs
@@ -1,6 +1,6 @@
 use crate::bimap::Bimap;
 
-//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>
+//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>\\
 
 #[derive(Eq, PartialEq, Hash, Clone, Debug)]
 pub enum TypeID {
@@ -8,7 +8,7 @@ pub enum TypeID {
     Var(u64)
 }
 
-//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>
+//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>\\
 
 pub struct TypeDict {
     typenames: Bimap<String, TypeID>,
@@ -16,7 +16,7 @@ pub struct TypeDict {
     type_var_counter: u64,
 }
 
-//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>
+//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>\\
 
 impl TypeDict {
     pub fn new() -> Self {
@@ -57,4 +57,3 @@ impl TypeDict {
 }
 
 //<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>
-
diff --git a/src/lexer.rs b/src/lexer.rs
index 4644ae6..8c56a0d 100644
--- a/src/lexer.rs
+++ b/src/lexer.rs
@@ -163,4 +163,3 @@ where It: Iterator<Item = char>
 }
 
 //<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>\\
-
diff --git a/src/term.rs b/src/term.rs
index 9b58b69..25fee14 100644
--- a/src/term.rs
+++ b/src/term.rs
@@ -1,6 +1,6 @@
 use crate::TypeID;
 
-//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>
+//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>\\
 
 #[derive(Clone, PartialEq, Eq, Hash, Debug)]
 pub enum TypeTerm {
@@ -26,7 +26,7 @@ pub enum TypeTerm {
     Ladder(Vec< TypeTerm >),
 }
 
-//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>
+//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>\\
 
 impl TypeTerm {
     pub fn unit() -> Self {
@@ -81,4 +81,3 @@ impl TypeTerm {
 }
 
 //<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>\\
-