# HG changeset patch
# User wenzelm
# Date 1452000312 -3600
# Node ID 2da6f4945295baa8f596e5ace0bac865eb21e1b1
# Parent  1cfd5d6049372e63ee101d8bd4300289349fbc54
proper latex setup;

diff -r 1cfd5d604937 -r 2da6f4945295 src/ZF/Induct/document/root.tex
--- a/src/ZF/Induct/document/root.tex	Tue Jan 05 13:48:51 2016 +0100
+++ b/src/ZF/Induct/document/root.tex	Tue Jan 05 14:25:12 2016 +0100
@@ -1,5 +1,6 @@
 \documentclass[11pt,a4paper]{article}
 \usepackage{isabelle,isabellesym}
+\usepackage{amssymb}
 \usepackage[utf8]{inputenc}
 \usepackage{pdfsetup}