From 467db5040fe2f311f8f5493f89dc8f95647a9a0b Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 5 Aug 2014 19:08:48 +0200
Subject: Uncountably many bullets (+,-,*,++,--,**,+++,...).

---
 doc/refman/RefMan-pro.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/refman/RefMan-pro.tex b/doc/refman/RefMan-pro.tex
index bfd045d474..52d8c09c1b 100644
--- a/doc/refman/RefMan-pro.tex
+++ b/doc/refman/RefMan-pro.tex
@@ -266,7 +266,8 @@ focused with the same bullet $b$. See the example below.
 Different bullets can be used to nest levels. The scope of bullet does
 not go beyond enclosing {\tt \{} and {\tt \}}, so bullets can be
 reused as further nesting levels provided they are delimited by these.
-Available bullets are {\tt -}, {\tt +} and {\tt *} (without a
+Available bullets are {\tt -}, {\tt +}, {\tt *}, {\tt --}, {\tt ++}, {\tt **},
+{\tt ---}, {\tt +++}, {\tt ***}, ... (without a
 terminating period).
 
 The following example script illustrates all these features:
-- 
cgit v1.2.3