Think Markdown for logic formulas.