diff options
| author | Hugo Herbelin | 2014-08-05 19:08:48 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-08-05 19:52:24 +0200 |
| commit | 467db5040fe2f311f8f5493f89dc8f95647a9a0b (patch) | |
| tree | 5ebbe4139abc44bbef7362aa860c57711d6dcfd9 /doc/refman | |
| parent | 8e3c749e69649fb45750355e464ce7c16a4462c7 (diff) | |
Uncountably many bullets (+,-,*,++,--,**,+++,...).
Diffstat (limited to 'doc/refman')
| -rw-r--r-- | doc/refman/RefMan-pro.tex | 3 |
1 files changed, 2 insertions, 1 deletions
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: |