equal
deleted
inserted
replaced
4 \usepackage{amsmath} |
4 \usepackage{amsmath} |
5 \usepackage{amssymb} |
5 \usepackage{amssymb} |
6 \usepackage{tikz} |
6 \usepackage{tikz} |
7 \usepackage{pgf} |
7 \usepackage{pgf} |
8 \usepackage{pdfsetup} |
8 \usepackage{pdfsetup} |
|
9 \usepackage{ot1patch} |
9 |
10 |
10 \urlstyle{rm} |
11 \urlstyle{rm} |
11 \isabellestyle{it} |
12 \isabellestyle{it} |
12 |
13 |
|
14 \DeclareRobustCommand{\flqq}{\mbox{\guillemotleft}} |
|
15 \DeclareRobustCommand{\frqq}{\mbox{\guillemotright}} |
13 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
16 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
14 \renewcommand{\isasymbullet}{{\raisebox{-0.4mm}{\Large$\boldsymbol{\cdot}$}}} |
17 \renewcommand{\isasymbullet}{{\raisebox{-0.4mm}{\Large$\boldsymbol{\cdot}$}}} |
15 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,} |
18 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,} |
16 \renewcommand{\isasymequiv}{$\dn$} |
19 \renewcommand{\isasymequiv}{$\dn$} |
17 \renewcommand{\isasymiota}{} |
20 \renewcommand{\isasymiota}{} |