summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorGravatar Vladimir Shabanov <vshabanoff@gmail.com>2012-05-17 03:22:34 +0400
committerGravatar Vladimir Shabanov <vshabanoff@gmail.com>2012-05-17 03:22:34 +0400
commitf63f9a4b6cf5ad72858cafbcbd01049231a478d2 (patch)
tree9599ec9acfbf8cf05fa6849fdedd090721d3d2ea /doc
parent2cdddca707fe94e9534cb2929aac46970f1f7e0c (diff)
Vector fonts in manual
Diffstat (limited to 'doc')
-rw-r--r--doc/manual.tex1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/manual.tex b/doc/manual.tex
index 6012270b..2a5b15e7 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -1,6 +1,7 @@
\documentclass{article}
\usepackage{fullpage,amsmath,amssymb,proof,url}
\usepackage[T1]{fontenc}
+\usepackage{ae,aecompl}
\newcommand{\cd}[1]{\texttt{#1}}
\newcommand{\mt}[1]{\mathsf{#1}}