Template:Rule

From The Twelf Project
Jump to: navigation, search

This template does not work because template arguments are not expanded inside the <math> tag in the current MediaWiki. Any workarounds?


Render an inference rule. Use: {{rule|premise1 \qquad premise2 ...|conclusion|name}}.

It produces: