diff --git a/src/format_tptp.rs b/src/format_tptp.rs
index 9b056e4..dfc81e0 100644
--- a/src/format_tptp.rs
+++ b/src/format_tptp.rs
@@ -317,8 +317,8 @@ impl<'a> std::fmt::Debug for TermDisplay<'a>
 	{
 		match self.0
 		{
-			foliage::Term::Infimum => write!(format, "#inf"),
-			foliage::Term::Supremum => write!(format, "#sup"),
+			foliage::Term::Infimum => write!(format, "c__infimum__"),
+			foliage::Term::Supremum => write!(format, "c__supremum__"),
 			foliage::Term::Integer(value) => write!(format, "{}", value),
 			foliage::Term::Symbolic(ref value) => write!(format, "{}", value),
 			foliage::Term::String(ref value) => write!(format, "\"{}\"", value),
@@ -480,7 +480,7 @@ impl<'a> std::fmt::Debug for FormulaDisplay<'a>
 			foliage::Formula::Greater(ref left, ref right) => display_comparison(Notation::Prefix, "$greater", Some("p__greater__"), left, right),
 			foliage::Formula::GreaterOrEqual(ref left, ref right) => display_comparison(Notation::Prefix, "$greatereq", Some("p__greater_equal__"), left, right),
 			foliage::Formula::Equal(ref left, ref right) => display_comparison(Notation::Infix, "=", None, left, right),
-			foliage::Formula::NotEqual(ref left, ref right) => display_comparison(Notation::Infix, "~=", None, left, right),
+			foliage::Formula::NotEqual(ref left, ref right) => display_comparison(Notation::Infix, "!=", None, left, right),
 			foliage::Formula::Boolean(value) =>
 				match value
 				{