forked from Isabelle_DOF/Isabelle_DOF
Fixed package name.
This commit is contained in:
parent
1c57e9b08b
commit
c03b54584c
|
@ -22,5 +22,5 @@
|
|||
\usepackage{amssymb}
|
||||
\else % if luatex or xetex
|
||||
\usepackage{unicode-math}
|
||||
\usepackage{latexsymb}
|
||||
\usepackage{latexsym}
|
||||
\fi
|
||||
|
|
Loading…
Reference in New Issue