| changeset 59974 | b911c8ba0b69 |
| parent 57590 | 06cb5375e189 |
| child 60185 | cc71f01f9fde |
| child 60286 | 410115884a92 |
--- a/src/Doc/Isar_Ref/document/root.tex Wed Apr 08 20:41:56 2015 +0200 +++ b/src/Doc/Isar_Ref/document/root.tex Wed Apr 08 21:08:26 2015 +0200 @@ -1,6 +1,7 @@ \documentclass[12pt,a4paper,fleqn]{report} \usepackage[T1]{fontenc} \usepackage{amssymb} +\usepackage{wasysym} \usepackage{eurosym} \usepackage[english]{babel} \usepackage[only,bigsqcap]{stmaryrd}