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.