diff options
Diffstat (limited to 'support/splint/examples/symbols/symtoks.sty')
-rw-r--r-- | support/splint/examples/symbols/symtoks.sty | 8 |
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}$} |