Description Usage Arguments See Also Examples
symbol
creates a token for a symbol
1 | symbol(xs)
|
xs |
takes in a string to create a token |
Digit
, Lower
, Upper
,
Alpha
, AlphaNum
, SpaceCheck
,
String
, ident
, nat
,
space
, token
, identifier
,
natural
1 | symbol("[") (" [123]")
|
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.