diff -r a7e4b412cc7c -r 5a14f2cc1ea0 src/HOL/Tools/ATP/atp_problem.ML
--- a/src/HOL/Tools/ATP/atp_problem.ML	Tue Oct 17 12:10:58 2023 +0200
+++ b/src/HOL/Tools/ATP/atp_problem.ML	Wed Oct 18 10:41:12 2023 +0200
@@ -493,7 +493,7 @@
         "[" ^ commas (map of_term ts) ^ "]"
       else if is_tptp_equal s then
         space_implode (" " ^ tptp_equal ^ " ") (map of_term ts)
-        |> (is_format_higher_order format orelse is_format_with_fool format) ? parens
+        |> (is_format_higher_order format orelse true) ? parens
       else if s = tptp_ho_forall orelse s = tptp_ho_exists then
         (case ts of
           [AAbs (((s', ty), tm), [])] =>