changeset 73403 | e19cb4c11409 |
parent 73401 | 8b464825d2b5 |
child 73446 | d1c4c2395650 |
--- a/src/Doc/Isar_Ref/document/root.tex Tue Mar 09 18:52:24 2021 +0100 +++ b/src/Doc/Isar_Ref/document/root.tex Tue Mar 09 20:00:44 2021 +0100 @@ -1,5 +1,6 @@ \documentclass[12pt,a4paper,fleqn]{report} \usepackage[T1]{fontenc} +\usepackage{textcomp} \usepackage{amsmath} \usepackage{amssymb} \usepackage{wasysym}