String is a combinator which allows us to build parsers which
recognise strings of symbols, rather than just single symbols
is the string to be matched
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.