--- a/src/HOL/Examples/document/root.tex	Thu Dec 09 08:32:29 2021 +0100
+++ b/src/HOL/Examples/document/root.tex	Thu Dec 09 09:40:15 2021 +0100
@@ -1,7 +1,7 @@
 \documentclass[11pt,a4paper]{article}
 \usepackage[T1]{fontenc}
 \usepackage[only,bigsqcap]{stmaryrd}
-\usepackage{ifthen,proof,amssymb,isabelle,isabellesym}
+\usepackage{ifthen,proof,amssymb,isabelle,isabellesym,wasysym}
 
 \isabellestyle{literal}
 \usepackage{pdfsetup}\urlstyle{rm}