summaryrefslogtreecommitdiff
path: root/support/splint/examples/symbols/symtoks.sty
diff options
context:
space:
mode:
Diffstat (limited to 'support/splint/examples/symbols/symtoks.sty')
-rw-r--r--support/splint/examples/symbols/symtoks.sty8
1 files changed, 8 insertions, 0 deletions
diff --git a/support/splint/examples/symbols/symtoks.sty b/support/splint/examples/symbols/symtoks.sty
new file mode 100644
index 0000000000..8d6cdc5596
--- /dev/null
+++ b/support/splint/examples/symbols/symtoks.sty
@@ -0,0 +1,8 @@
+\prettywordpair{ANOTHER}{{\rm(}another\rm{)}}
+\prettywordpair{TOKEN}{$\langle${\it token}$\rangle$}
+\prettywordpair{GENERIC}{{\tt \_Generic}}
+\prettywordpair{IDENTIFIER}{{\tt Identifier}}
+\prettywordpair{BOGEY}{{\tt \_Bogey}}
+\prettywordpair{NAME}{{\tt NAME}}
+\prettywordpair{A_TOKEN}{{a\_token.}}
+\prettywordpair{NONEXISTENT}{$\hbox{\tt Non}^{\rm existent}$}