Look through sources of examples.

Submit an example to the Theory Translator.