diff options
Diffstat (limited to 'contrib/groff/font/devps/generate/symbolchars')
-rw-r--r-- | contrib/groff/font/devps/generate/symbolchars | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/contrib/groff/font/devps/generate/symbolchars b/contrib/groff/font/devps/generate/symbolchars index 41ec3e4..418cced 100644 --- a/contrib/groff/font/devps/generate/symbolchars +++ b/contrib/groff/font/devps/generate/symbolchars @@ -1,3 +1,6 @@ +# +# Additional predefined groff symbols for special fonts. +# plus pl minus mi plusminus +- |