diff --git a/lib/Quox/Pretty.idr b/lib/Quox/Pretty.idr
index a26100b..ac62adb 100644
--- a/lib/Quox/Pretty.idr
+++ b/lib/Quox/Pretty.idr
@@ -254,18 +254,18 @@ ofD, dotD, zeroD, succD, coeD, compD, undD, cstD, pipeD, fstD, sndD :
   {opts : LayoutOpts} -> Eff Pretty (Doc opts)
 typeD     = hl Syntax . text =<< ifUnicode "★" "Type"
 ioStateD  = hl Syntax $ text "IOState"
-arrowD    = hl Delim  . text =<< ifUnicode "→" "->"
-darrowD   = hl Delim  . text =<< ifUnicode "⇒" "=>"
-timesD    = hl Delim  . text =<< ifUnicode "×" "**"
+arrowD    = hl Syntax . text =<< ifUnicode "→" "->"
+darrowD   = hl Syntax . text =<< ifUnicode "⇒" "=>"
+timesD    = hl Syntax . text =<< ifUnicode "×" "**"
 lamD      = hl Syntax . text =<< ifUnicode "λ" "fun"
-eqndD     = hl Delim  . text =<< ifUnicode "≡" "=="
+eqndD     = hl Syntax . text =<< ifUnicode "≡" "=="
 dlamD     = hl Syntax . text =<< ifUnicode "δ" "dfun"
-annD      = hl Delim  . text =<< ifUnicode "∷" "::"
+annD      = hl Syntax . text =<< ifUnicode "∷" "::"
 natD      = hl Syntax . text =<< ifUnicode "ℕ" "Nat"
 stringD   = hl Syntax   $ text "String"
 eqD       = hl Syntax   $ text "Eq"
-colonD    = hl Delim    $ text ":"
-commaD    = hl Delim    $ text ","
+colonD    = hl Syntax   $ text ":"
+commaD    = hl Syntax   $ text ","
 semiD     = hl Delim    $ text ";"
 atD       = hl Delim    $ text "@"
 caseD     = hl Syntax   $ text "case"
@@ -279,7 +279,7 @@ coeD      = hl Syntax   $ text "coe"
 compD     = hl Syntax   $ text "comp"
 undD      = hl Syntax   $ text "_"
 cstD      = hl Syntax   $ text "="
-pipeD     = hl Syntax   $ text "|"
+pipeD     = hl Delim    $ text "|"
 fstD      = hl Syntax   $ text "fst"
 sndD      = hl Syntax   $ text "snd"