diff -r b13b2c1d419e -r f7f0d516df0c src/Doc/Isar_Ref/Symbols.thy
--- a/src/Doc/Isar_Ref/Symbols.thy	Tue May 18 20:19:02 2021 +0200
+++ b/src/Doc/Isar_Ref/Symbols.thy	Tue May 18 21:09:51 2021 +0200
@@ -32,7 +32,7 @@
 
   \begin{center}
   \begin{isabellebody}
-  \input{syms}  
+  @{show_symbols}
   \end{isabellebody}
   \end{center}
 \<close>