From 9592d45b3eaef22552097d8e98f3635ae0a87b1f Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Wed, 27 Feb 2008 12:27:01 +0100
Subject: [PATCH] Typesetting of references.

---
 notation.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/notation.tex b/notation.tex
index 9a06dea..7f753f3 100644
--- a/notation.tex
+++ b/notation.tex
@@ -6,7 +6,7 @@
 
 {\obeylines\parskip=0pt
 \def\n#1#2{\>\hbox to 6em{#1 \dotfill} #2}
-\def\[#1]{[\ref{#1}]}
+\def\[#1]{~{\it(\ref{#1})}}
 \n{$\bb R$}{the set of all real numbers}
 \n{$\bb N$}{the set of all natural numbers, including 0}
 \n{${\bb N}^+$}{the set of all positive integers}
-- 
2.39.2