diff -r 6e865cd22349 -r 2c07b9b2f9f4 src/Pure/General/symbol.scala
--- a/src/Pure/General/symbol.scala	Thu Jun 27 23:53:31 2024 +0200
+++ b/src/Pure/General/symbol.scala	Fri Jun 28 00:15:34 2024 +0200
@@ -533,7 +533,8 @@
   def decode_yxml_failsafe(text: String, cache: XML.Cache = XML.Cache.none): XML.Body =
     YXML.parse_body_failsafe(decode(text), cache = cache)
 
-  def encode_yxml(body: XML.Body): String = encode(YXML.string_of_body(body))
+  def encode_yxml(body: XML.Body): String =
+    YXML.string_of_body(body, recode = encode)
 
   def decode_strict(text: String): String = {
     val decoded = decode(text)