User:Mathieu/Test: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Mathieu
mNo edit summary
imported>Mathieu
 
Line 19: Line 19:


==Main page tests==
==Main page tests==
Try : <math<noinclude></noinclude>> {{{1}}} </math<noinclude></noinclude>> in a template

Latest revision as of 14:24, 23 February 2009

(-E)*\ldots*(-F)\;==\; E*\ldots*F   (if an even number of -)
(-E)*\ldots*(-F)\;==\; -\,(E*\ldots*F)   (if an odd number of -)


\frac{\ }{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}

\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}} HYP
\frac{}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}} HYP

Main page tests

Try : <math> {{{1}}} </math> in a template