annotate DESpecs/abbreviations.tex @ 1:e295e4c94593

version 2008-09-23
author Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
date Fri, 26 Nov 2010 18:42:09 +0100
parents 106aa1285f04
children 2531dd8fe4ba
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
1 %!TEX TS-program = xelatex
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
2 %!TEX encoding = UTF-8 Unicode
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
3 %!TEX root = ../DESpecs.tex
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
4
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
5 \usepackage{xspace} \xspaceaddexceptions{”}
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
6 \usepackage{ifthen}
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
7
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
8 \newcommand{\ch}[1] {chapter~\ref{#1}}
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
9 \newcommand{\sect}[1] {section~\ref{#1}}
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
10 \newcommand{\fig}[1] {figure~\vref{#1}}
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
11 \newcommand{\Fig}[1] {Figure~\vref{#1}}
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
12 \newcommand{\tbl}[1] {table~\vref{#1}}
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
13
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
14 \newcommand{\ie} {i.e. }
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
15 \newcommand{\eg} {e.g. }
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
16
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
17 \newcommand{\qq} {\qquad}
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
18
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
19 \newcommand{\spitz}[1] {\ensuremath{\langle}#1\ensuremath{\rangle}}
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
20
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
21 \newcommand{\mehrzeilen}[1][1]{\enlargethispage{#1\baselineskip}}
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
22
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
23
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
24 % Zeilenabstand
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
25
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
26 \usepackage{setspace}
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
27 \newenvironment{enum}{\begin{enumerate} \singlespacing} {\end{enumerate}}
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
28 \newenvironment{items}{\begin{itemize} \singlespacing} {\end{itemize}}
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
29
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
30
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
31 % verbatim
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
32
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
33 \usepackage{alltt}
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
34 \newcommand{\klein}{\small}
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
35 \newenvironment{exakt}[1][\small]{\singlespacing#1\begin{alltt}}{\end{alltt}}
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
36
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
37 \usepackage{shortvrb}
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
38 \MakeShortVerb{\§}
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
39
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
40
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
41 %%%%%%%%%%%%%%%%
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
42
1
e295e4c94593 version 2008-09-23
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents: 0
diff changeset
43 %\newenvironment{mainrule}{\textit{Rule}}{}
e295e4c94593 version 2008-09-23
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents: 0
diff changeset
44 \newenvironment{mainrule}{}{}
0
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
45
1
e295e4c94593 version 2008-09-23
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents: 0
diff changeset
46 %\newfontfamily{\ht}[Mapping=tex-text]{Hoefler Text}
e295e4c94593 version 2008-09-23
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents: 0
diff changeset
47 %\newfontfamily{\tnr}[Mapping=tex-text]{Times New Roman}
e295e4c94593 version 2008-09-23
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents: 0
diff changeset
48 %\newenvironment{example}{\tnr\textit{Example}}{}
e295e4c94593 version 2008-09-23
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents: 0
diff changeset
49 %\newenvironment{example}{{\scshape Example}}{}
e295e4c94593 version 2008-09-23
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents: 0
diff changeset
50
e295e4c94593 version 2008-09-23
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents: 0
diff changeset
51 \newenvironment{example}{{\fontspec{Hoefler Text}{\scshape Example}}}{}
e295e4c94593 version 2008-09-23
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents: 0
diff changeset
52 %\newenvironment{example}{{\fontspec{DejaVu Sans}{\scshape Example}}}{}
e295e4c94593 version 2008-09-23
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents: 0
diff changeset
53
e295e4c94593 version 2008-09-23
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents: 0
diff changeset
54
e295e4c94593 version 2008-09-23
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents: 0
diff changeset
55
e295e4c94593 version 2008-09-23
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents: 0
diff changeset
56 %\newenvironment{type}{\begin{alltt}}{\end{alltt}}
0
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
57
1
e295e4c94593 version 2008-09-23
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents: 0
diff changeset
58 \newenvironment{typeLatin}{\begin{alltt}\begin{tabular}{l}}{\end{tabular}\end{alltt}}
e295e4c94593 version 2008-09-23
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents: 0
diff changeset
59
e295e4c94593 version 2008-09-23
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents: 0
diff changeset
60 \newcommand{\bs}{\textbackslash}
e295e4c94593 version 2008-09-23
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents: 0
diff changeset
61 \newenvironment{typeBetacode}{\begin{alltt}\small\begin{tabular}{l}}{\end{tabular}\end{alltt}}
0
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
62
1
e295e4c94593 version 2008-09-23
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents: 0
diff changeset
63 %\newfontfamily{\greek}[Scale=0.8]{Courier New} % [Scale=1]{Minion Pro}, [Scale=0.8]{Andale Mono}
e295e4c94593 version 2008-09-23
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents: 0
diff changeset
64 \newfontfamily{\greek}[Scale=0.8]{DejaVu Sans Mono}
e295e4c94593 version 2008-09-23
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents: 0
diff changeset
65 \newenvironment{typeGreek}{\begin{alltt}\greek\begin{tabular}{l}}{\end{tabular}\end{alltt}}
0
106aa1285f04 version 2008-09-21
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents:
diff changeset
66
1
e295e4c94593 version 2008-09-23
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents: 0
diff changeset
67 \newenvironment{exception}{\small\textit{Exception}}{}
e295e4c94593 version 2008-09-23
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents: 0
diff changeset
68 %\newenvironment{exception}{\small}{}
e295e4c94593 version 2008-09-23
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents: 0
diff changeset
69
e295e4c94593 version 2008-09-23
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents: 0
diff changeset
70 %\newenvironment{clarification}{\small\textit{Clarification}}{}
e295e4c94593 version 2008-09-23
Wolfgang Schmidle <wschmidle@mpiwg-berlin.mpg.de>
parents: 0
diff changeset
71 \newenvironment{clarification}{\small}{}