--- a/src/HOL/ex/document/root.tex Wed Apr 15 15:27:45 2015 +0200
+++ b/src/HOL/ex/document/root.tex Wed Apr 15 15:57:58 2015 +0200
@@ -4,6 +4,7 @@
\usepackage[english]{babel}
\usepackage{textcomp}
\usepackage{amssymb}
+\usepackage{wasysym}
\usepackage{pdfsetup}
\urlstyle{rm}