diff options
Diffstat (limited to 'symbol.ini')
| -rw-r--r-- | symbol.ini | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/symbol.ini b/symbol.ini index 459deb1f67..26c0a31bff 100644 --- a/symbol.ini +++ b/symbol.ini @@ -36,7 +36,7 @@ table param end table dots - 1 \singledot 0pt 4pt -1pt 1pt - 2 \doubledot 0pt 8pt -1pt 1pt - 3 \tripledot 0pt 12pt -1pt 1pt + 1 \lsingledot 0pt 8pt -1pt 1pt + 2 \ldoubledot 0pt 12pt -1pt 1pt + 3 \ltripledot 0pt 16pt -1pt 1pt end |