lib/Tools/mkdir
changeset 48171 28a6d67c93f0
parent 40895 c3f68ea97495
equal deleted inserted replaced
48170:9b41d34450e8 48171:28a6d67c93f0
   215 %\usepackage{amssymb}
   215 %\usepackage{amssymb}
   216   %for \<leadsto>, \<box>, \<diamond>, \<sqsupset>, \<mho>, \<Join>,
   216   %for \<leadsto>, \<box>, \<diamond>, \<sqsupset>, \<mho>, \<Join>,
   217   %\<lhd>, \<lesssim>, \<greatersim>, \<lessapprox>, \<greaterapprox>,
   217   %\<lhd>, \<lesssim>, \<greatersim>, \<lessapprox>, \<greaterapprox>,
   218   %\<triangleq>, \<yen>, \<lozenge>
   218   %\<triangleq>, \<yen>, \<lozenge>
   219 
   219 
   220 %\usepackage[greek,english]{babel}
   220 %\usepackage{eurosym}
   221   %option greek for \<euro>
   221   %for \<euro>
   222   %option english (default language) for \<guillemotleft>, \<guillemotright>
       
   223 
   222 
   224 %\usepackage[only,bigsqcap]{stmaryrd}
   223 %\usepackage[only,bigsqcap]{stmaryrd}
   225   %for \<Sqinter>
   224   %for \<Sqinter>
   226 
   225 
   227 %\usepackage{eufrak}
   226 %\usepackage{eufrak}