diff --git a/src/runtime/haskell/PGF/Printer.hs b/src/runtime/haskell/PGF/Printer.hs
index 4c9961b55..ea39fe6eb 100644
--- a/src/runtime/haskell/PGF/Printer.hs
+++ b/src/runtime/haskell/PGF/Printer.hs
@@ -77,7 +77,7 @@ ppPrintName (id,name) =
   ppCId id <+> text ":=" <+> ppStrs [name]
 
 ppSymbol (SymCat d r) = char '<' <> int d <> comma <> int r <> char '>'
-ppSymbol (SymLit d r) = char '<' <> int d <> comma <> int r <> char '>'
+ppSymbol (SymLit d r) = char '{' <> int d <> comma <> int r <> char '}'
 ppSymbol (SymKS ts)   = ppStrs ts
 ppSymbol (SymKP ts alts) = text "pre" <+> braces (hsep (punctuate semi (ppStrs ts : map ppAlt alts)))