[NTG-context] Indentation after formulas