src/HOL/Algebra/document/root.tex
changeset 14551 2cb6ff394bfb
parent 13950 74f638d8a829
child 14578 1f3f7e58b195
     1.1 --- a/src/HOL/Algebra/document/root.tex	Tue Apr 13 07:48:32 2004 +0200
     1.2 +++ b/src/HOL/Algebra/document/root.tex	Tue Apr 13 09:42:40 2004 +0200
     1.3 @@ -22,7 +22,7 @@
     1.4                                         %   \<twosuperior>, \<onehalf>,
     1.5                                         %   \<threesuperior>, \<threequarters>
     1.6                                         %   \<degree>
     1.7 -%\usepackage[only,bigsqcap]{stmaryrd}  % for \<Sqinter>
     1.8 +\usepackage[only,bigsqcap]{stmaryrd}  % for \<Sqinter>
     1.9  %\usepackage{wasysym}
    1.10  %\usepackage{eufrak}                   % for \<AA> ... \<ZZ>, \<aa> ... \<zz>
    1.11  %\usepackage{textcomp}                  % for \<zero> ... \<nine>, \<cent>