You may have noticed Pancode uses a decent bit of Unicode, in
particular the language uses several characters you probably
don't have on your keyboard right now. The interpreter provided
on this site has several special input combinations to make it
easier for you to input these various characters. Many of these
combinations are taken from LaTeX (\times converts
to ×), Agda Mode (\Gi converts to ⍳), and
GNU APL Mode (.[ converts
to ←), as well as whatever mnemonics make sense for
Pancode in particular.
What follows is a comprehensive list of these special input combinations. Simply type any of the phrases on the right-hand side to get the character on the left-hand side. This table is generated dynamically from the Javascript interpreter, so it's guaranteed to be up to date. You can also mouse-over Unicode characters in the documentation to see how to input them.