changeset 73404 | 299f6a8faccc |
parent 68580 | a3723b11bd60 |
--- a/src/HOL/Algebra/document/root.tex Tue Mar 09 20:00:44 2021 +0100 +++ b/src/HOL/Algebra/document/root.tex Tue Mar 09 21:11:05 2021 +0100 @@ -1,9 +1,8 @@ \documentclass[11pt,a4paper]{article} +\usepackage[T1]{fontenc} \usepackage{graphicx} \usepackage{isabelle,isabellesym} \usepackage{amssymb} -\usepackage{textcomp} -\usepackage[utf8]{inputenc} \usepackage[only,bigsqcap]{stmaryrd} \usepackage{amsmath}