diff -r 029e6247210e -r 1e92b5c35615 src/HOL/Data_Structures/document/root.tex
--- a/src/HOL/Data_Structures/document/root.tex	Thu Oct 20 13:53:36 2016 +0200
+++ b/src/HOL/Data_Structures/document/root.tex	Thu Oct 20 17:28:09 2016 +0200
@@ -1,6 +1,8 @@
 \documentclass[11pt,a4paper]{article}
 \usepackage{isabelle,isabellesym}
 \usepackage{latexsym}
+\usepackage{amssymb}
+\usepackage{amsmath}
 % this should be the last package used
 \usepackage{pdfsetup}