src/ZF/QPair.thy

 end
 
 ML
 
 val print_translation =
-  [("QSigma", dependent_tr' ("@QSUM", " <*>"))];
+  [("QSigma", dependent_tr' ("@QSUM", "<*>"))];