# 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