Difference between revisions of "User:Mathieu/Test"
From Event-B
Jump to navigationJump to searchimported>Mathieu m (New page: <center> {| |<math>(-E)*\ldots*(-F)\;==\; E*\ldots*F </math> (if an even number of -) |- |<math>(-E)*\ldots*(-F)\;==\; -\,(E*\ldots*F) </math> (if an odd number of -) |} <math> \frac{...) |
imported>Mathieu |
||
| (8 intermediate revisions by the same user not shown) | |||
| Line 15: | Line 15: | ||
|} | |} | ||
| + | {{InfRule|HYP|<math>\frac{}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}} | ||
</center> | </center> | ||
| + | |||
| + | ==Main page tests== | ||
| + | |||
| + | Try : <math<noinclude></noinclude>> {{{1}}} </math<noinclude></noinclude>> in a template | ||
Latest revision as of 14:24, 23 February 2009
 (if an even number of -)
|
 (if an odd number of -)
|
|
HYP |
|
HYP |
Main page tests
Try : <math> {{{1}}} </math> in a template
