proper latex setup;
authorwenzelm
Tue, 05 Jan 2016 14:25:12 +0100
changeset 62059 2da6f4945295
parent 62058 1cfd5d604937
child 62060 b75764fc4c35
child 62062 bd2ccef8209b
proper latex setup;
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}