proper synonyms: special characters need to be escaped;

--- a/src/Tools/Find_Facts/src/find_facts.scala	Fri Feb 14 18:06:51 2025 +0100
+++ b/src/Tools/Find_Facts/src/find_facts.scala	Fri Feb 14 19:34:27 2025 +0100
@@ -142,7 +142,9 @@
         if !Special_Char.matches(symbol) && !Arrow.matches(symbol)
       } yield symbol + " => " + code
 
-    override lazy val more_config = Map(Path.basic("synonyms.txt") -> synonyms.mkString("\n"))
+    override lazy val more_config =
+      Map(Path.basic("synonyms.txt") ->
+        Solr.escape(synonyms.mkString("\n"), Solr.special -- Solr.wildcard_char.map(_.toString)))
 
     object Types {
       private val strip_html = Solr.Class("charFilter", "HTMLStripCharFilterFactory")