equal
deleted
inserted
replaced
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} |