From e6ee0cd001636d55e8b692a109c1c95bbbf1b23b Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Sun, 22 Feb 2009 16:01:53 +0000
Subject: [PATCH] PLaneT typesetting

svn: r13791
---
 collects/scribble/scribble.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/scribble/scribble.tex b/collects/scribble/scribble.tex
index 0db7032b72..3c0552fa56 100644
--- a/collects/scribble/scribble.tex
+++ b/collects/scribble/scribble.tex
@@ -70,7 +70,7 @@
 \newcommand{\imageleft}[1]{} % drop it
 \renewcommand{\smaller}[1]{\textsmaller{#1}}
 \newcommand{\refpara}[1]{\marginpar{\raggedright \footnotesize #1}}
-\newcommand{\planetName}[1]{PLane$\!$T}
+\newcommand{\planetName}[1]{PLane\hspace{-0.1ex}T}
 
 \newcommand{\titleAndEmptyVersion}[2]{\title{#1}\maketitle}
 \newcommand{\titleAndVersion}[2]{\title{#1\\{\normalsize Version #2}}\maketitle}