Configuration File

The standard configuration file is open-logic-config.sty. It contains most of the commands OLT uses to produce symbols, formulas, theorems, tokenized text, tags, etc. It is documented in open-logic-config.pdf.