diff -r 06a8f782b2c1 -r c86b98642013 Paper/document/root.tex
--- a/Paper/document/root.tex	Thu Oct 07 14:23:32 2010 +0900
+++ b/Paper/document/root.tex	Fri Oct 08 13:41:54 2010 +0100
@@ -23,7 +23,7 @@
 \DeclareRobustCommand{\flqq}{\mbox{\guillemotleft}}
 \DeclareRobustCommand{\frqq}{\mbox{\guillemotright}}
 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}}
-\renewcommand{\isasymbullet}{{\raisebox{-0.4mm}{\Large$\boldsymbol{\cdot}$}}}
+\renewcommand{\isasymbullet}{{\raisebox{-0.4mm}{\Large$\boldsymbol{\hspace{-0.5mm}\cdot\hspace{-0.5mm}}$}}}
 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,}
 \renewcommand{\isasymequiv}{$\dn$}
 %%\renewcommand{\isasymiota}{}
@@ -61,7 +61,7 @@
 \newenvironment{proof-of}[1]{{\em Proof of #1:}}{}
 
 \addtolength{\textwidth}{2mm}
-\addtolength{\parskip}{-0.3mm}
+\addtolength{\parskip}{-0.33mm}
 \begin{document}
 
 \title{General Bindings and Alpha-Equivalence\\ in Nominal Isabelle}