printSymbOrMap (SymbMap source dest _) =
  pretty source <+> mapsto <+> pretty dest
printSymbOrMap (SymbMap source dest _) =
  pretty source <+> mapsto <+> pretty dest
printSymbOrMap (SymbMap source dest _) =
  pretty source <+> mapsto <+> pretty dest