style.sty
author Christian Urban <urbanc@in.tum.de>
Wed, 29 Nov 2017 21:22:29 +0000
changeset 160 863feeb5c760
parent 123 556cd74cbba9
child 252 a9d84442fb65
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
27
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
\usepackage{xcolor}
123
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
     2
%%\usepackage{fontspec}
27
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
\usepackage[sc]{mathpazo}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
\usepackage{fontspec}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
\setmainfont[Ligatures=TeX]{Palatino Linotype}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
\usepackage{amssymb}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
\usepackage{amsmath}
123
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
     8
\usepackage{menukeys}
27
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
\definecolor{darkblue}{rgb}{0,0,0.6}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
\usepackage[colorlinks=true,urlcolor=darkblue,linkcolor=darkblue]{hyperref}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
123
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    12
%%% for regular expressions and values
62
2151c77e1e24 updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    13
\newcommand{\ZERO}{\mbox{\bf 0}}
2151c77e1e24 updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    14
\newcommand{\ONE}{\mbox{\bf 1}}
2151c77e1e24 updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    15
\newcommand{\Left}{\textit{Left}}
2151c77e1e24 updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    16
\newcommand{\Der}{\textit{Der}}
2151c77e1e24 updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    17
\newcommand{\der}{\textit{der}}
2151c77e1e24 updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    18
\newcommand{\Ders}{\textit{Ders}}
2151c77e1e24 updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    19
\newcommand{\ders}{\textit{ders}}
2151c77e1e24 updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    20
27
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    21
%%% for trees
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    22
%% http://anorien.csc.warwick.ac.uk/mirrors/CTAN/graphics/pgf/contrib/forest/forest.pdf
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    23
123
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    24
\newcommand\grid[1]{%
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    25
\begin{tikzpicture}[baseline=(char.base)]
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    26
  \path[use as bounding box]
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    27
    (0,0) rectangle (1em,1em);
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    28
  \draw[red!50, fill=red!20]
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    29
    (0,0) rectangle (1em,1em);
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    30
  \node[inner sep=1pt,anchor=base west]
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    31
    (char) at (0em,\gridraiseamount) {#1};
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    32
\end{tikzpicture}}
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    33
\newcommand\gridraiseamount{0.12em}
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    34
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    35
\makeatletter
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    36
\newcommand\Grid[1]{%
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    37
  \@tfor\z:=#1\do{\grid{\z}}}
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    38
\makeatother	
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    39
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    40
\newcommand\Vspace[1][.3em]{%
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    41
  \mbox{\kern.06em\vrule height.3ex}%
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    42
  \vbox{\hrule width#1}%
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    43
  \hbox{\vrule height.3ex}}
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    44
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    45
\def\VS{\Vspace[0.6em]}
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    46
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    47
27
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    48
\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    49
\newcommand{\defn}[1]{\textit{\textbf{#1}}}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    50
\newcommand{\dq}[1]{\mbox{\tt{"}}#1\mbox{\tt{"}}}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    51
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    52
\definecolor{codegray}{gray}{0.9}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    53
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    54
\makeatletter
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    55
\def\fnote{\gdef\@thefnmark{}\@footnotetext}
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    56
\makeatother
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    57
123
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    58
\newcommand{\HEADER}{{\bf Please submit your solutions via email. Please submit 
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    59
only ASCII text or PDFs. Every solution should be preceeded by the corresponding 
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    60
question text, like:
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    61
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    62
\begin{center}
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    63
\begin{tabular}{ll}
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    64
Q$n$: & \ldots a difficult question from me\ldots\\
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    65
A:    & \ldots an answer from you \ldots\\
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    66
Q$n+1$ & \ldots another difficult question\ldots\\
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    67
A:     & \ldots another brilliant answer from you\ldots
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    68
\end{tabular}
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    69
\end{center}
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    70
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    71
\noindent Solutions will only be accepted until 20th December! Please send only
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    72
one homework per email.}\bigskip}
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    73
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    74
\newcommand{\POSTSCRIPT}{
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    75
{\bf (Optional)} This question is for you to provide 
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    76
regular feedback to me: for example
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    77
what were the most interesting, least interesting, or confusing 
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    78
parts in this lecture? Any problems with my Scala code? Please 
556cd74cbba9 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
    79
feel free to share any other questions or concerns.}