diff -r 5ab0fc66e827 -r 8696fb442049 src/Pure/General/mailman.scala
--- a/src/Pure/General/mailman.scala	Thu Oct 23 17:14:39 2025 +0200
+++ b/src/Pure/General/mailman.scala	Thu Oct 23 17:52:00 2025 +0200
@@ -200,7 +200,7 @@
       "wmansky:cs/princeton/edu" -> "William Mansky\nwmansky:cs/princeton/edu",
       "y/nemouchi:ensbiotech/edu/dz" -> "Yakoub Nemouchi\ny/nemouchi:ensbiotech/edu/dz",
       "ÐÑÐÐÐÑÐÐÐ ÐÐÐÐÐÐÐÑÐÐÐÑ ÐÐÐÑÐÐÐ" -> "",
-      "∀X/Xπ - Tutorials about Proofs" -> "Bruno Woltzenlogel Paleo",
+      "\u2200X/X\u03c0 - Tutorials about Proofs" -> "Bruno Woltzenlogel Paleo",
     )
 
   private def tune(s: String): String =