diff options
Diffstat (limited to 'font/devps/generate/symbolchars')
| -rw-r--r-- | font/devps/generate/symbolchars | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/font/devps/generate/symbolchars b/font/devps/generate/symbolchars new file mode 100644 index 0000000..015c534 --- /dev/null +++ b/font/devps/generate/symbolchars @@ -0,0 +1,13 @@ +# +# Additional predefined groff symbols for special fonts. +# +arrowdown arrowvertbt +arrowup arrowverttp +divide di +equal eq +logicalnot no +minus mi +multiply mu +plusminus +- +plus pl +Upsilon1 *U |