../data/sicherheit/info.sty (download)
\usepackage{latexki} \usepackage[german]{babel} \usepackage[utf8]{inputenc} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsmath} \usepackage{stmaryrd} \usepackage{verbatim} \usepackage{ifthen} \usepackage[framed,amsmath,thmmarks,hyperref]{ntheorem} \usepackage{framed} \usepackage{pstricks} \usepackage{slashed} \usepackage[bookmarks,bookmarksnumbered,pdfpagelayout=OneColumn,colorlinks]{hyperref} % Logische Operatoren \def\dann{\rightarrow} \def\wenn{\leftarrow} \def\equi{\leftrightarrow} % Folgerungen \def\folgt{\Rightarrow} \def\Gdw{\Leftrightarrow} \def\gdw{\leftrightarrow} \newcommand{\Ra}{\Rightarrow} \newcommand{\ra}{\rightarrow} \def\produkt{\texttt} \newcommand{\quer}[1]{\overline{#1}} \newcommand{\dach}[1]{\widehat{#1}} \newcommand{\fixme}[1]{\textbf{FIXME:} #1} \newcommand{\lectureof}[1]{\marginpar{#1}} \newcommand{\keyword}[1]{\texttt{\underline{#1}}} \newcommand{\la}{\leftarrow} \newcommand{\llc}{\left\lceil} \newcommand{\rrc}{\right\rceil} \newcommand{\llf}{\left\lfloor} \newcommand{\rrf}{\right\rfloor} \newcommand{\oo}{\infty} \newcommand{\idt}{\hspace{15pt}} \def\begriff{\textit} % Mengen \def\MdR{\ensuremath{\mathbb{R}}} \def\MdQ{\ensuremath{\mathbb{Q}}} \def\MdZ{\ensuremath{\mathbb{Z}}} \def\MdN{\ensuremath{\mathbb{N}}}