Rename the record combining operators internally

1 files changed, 3 insertions, 3 deletions

diff --git a/dhall_syntax/src/printer.rs b/dhall_syntax/src/printer.rs
index ebc9770..9f03701 100644
--- a/dhall_syntax/src/printer.rs
+++ b/dhall_syntax/src/printer.rs
@@ -297,13 +297,13 @@ impl Display for BinOp {
             TextAppend => "++",
             NaturalPlus => "+",
             BoolAnd => "&&",
-            Combine => "/\\",
+            RecursiveRecordMerge => "∧",
             NaturalTimes => "*",
             BoolEQ => "==",
             BoolNE => "!=",
-            CombineTypes => "//\\\\",
+            RecursiveRecordTypeMerge => "⩓",
             ImportAlt => "?",
-            Prefer => "//",
+            RightBiasedRecordMerge => "⫽",
             ListAppend => "#",
         })
     }