Template:RRHeader

Template use to specify a table header for describing rewriting rules

Usage

{{RRHeader}}
|-
|RULE1||<math>a + b -c == a + b - c</math>||no side condition || M
|-
|NN||RULE|| || A
|}

Example

Name	Rule	Side Condition	A/M
RULE1	$a + b -c == a + b - c$	no side condition	M
NN	RULE		A