src/Doc/Isar_Ref/document/root.tex
changeset 69962 82e945d472d5
parent 64511 287d4cdf70a0
child 72319 76bb6dd505c0
equal deleted inserted replaced
69961:708743578e45 69962:82e945d472d5
     3 \usepackage[T1]{fontenc}
     3 \usepackage[T1]{fontenc}
     4 \usepackage{amsmath}
     4 \usepackage{amsmath}
     5 \usepackage{amssymb}
     5 \usepackage{amssymb}
     6 \usepackage{wasysym}
     6 \usepackage{wasysym}
     7 \usepackage{eurosym}
     7 \usepackage{eurosym}
       
     8 \usepackage{pifont}
     8 \usepackage[english]{babel}
     9 \usepackage[english]{babel}
     9 \usepackage[only,bigsqcap]{stmaryrd}
    10 \usepackage[only,bigsqcap]{stmaryrd}
    10 \usepackage{textcomp}
    11 \usepackage{textcomp}
    11 \usepackage{latexsym}
    12 \usepackage{latexsym}
    12 \usepackage{graphicx}
    13 \usepackage{graphicx}