diff --git a/lib/Quox/Syntax/Term/Pretty.idr b/lib/Quox/Syntax/Term/Pretty.idr
index 1386cd2..ea5457e 100644
--- a/lib/Quox/Syntax/Term/Pretty.idr
+++ b/lib/Quox/Syntax/Term/Pretty.idr
@@ -40,7 +40,7 @@ mutual
         sep [!lamD, hl TVar !(prettyM x), !arrowD]
           <//> !(under T x $ prettyM t)
     prettyM (E e) =
-      prettyM e
+      pure $ hl Delim "[" <+> !(prettyM e) <+> hl Delim "]"
     prettyM (CloT s th) =
       parensIfM SApp . hang 2 =<<
         [|withPrec SApp (prettyM s) </> prettyTSubst th|]