Template:Inputaxiom

{{#switch: {{#titleparts:{{FULLPAGENAME}}|1|-1}}
 * latex=

\inputaxiom {{{{2}}}} {{{:{{{1}}}|}}}
 * default=

Axiom [ ]


}}