# HG changeset patch # User wenzelm # Date 1733855035 -3600 # Node ID af49ce611685657e51ba81ab8ad170065173c461 # Parent f8b28356ab94c0e316e5d77181c3ae50f92c1468 proper LaTeX setup (amending 41b387d47739); diff -r f8b28356ab94 -r af49ce611685 src/HOL/IMP/document/root.tex --- a/src/HOL/IMP/document/root.tex Tue Dec 10 16:37:09 2024 +0100 +++ b/src/HOL/IMP/document/root.tex Tue Dec 10 19:23:55 2024 +0100 @@ -1,5 +1,6 @@ \documentclass[11pt,a4paper]{article} \usepackage[T1]{fontenc} +\usepackage{amssymb} \usepackage{isabelle,isabellesym} \usepackage{latexsym} % this should be the last package used