Template:Formal dictionary/Formalize