Difference between revisions of "Test area"

From Event-B
Jump to navigationJump to search
imported>WikiSysop
(Removing all content from page)
imported>WikiSysop
Line 1: Line 1:
 
+
<math> ( ) * + ,
 +
- < = > [ ] \{ \} \bcmeq \bcmin \bcmsuch \bcomp \bfalse \binter \bmod
 +
\Bool \bool \btrue \bunion \card \cprod \defi \div \atop
 +
{\displaystyle \dom \domres \domsub \dprod \emptyset \exists \expn
 +
\False \fcomp \finite \forall \geq \id \in \inter \Inter \intg \lambda
 +
\land \leq \leqv \limp \lnot \lor \atop{\displaystyle \mapsto \max
 +
\mid \min \nat \natn \neq \notin \ovl \pfun \pinj \pow \pown
 +
\pprod    \prjone \prjtwo \psur \qdot \ran \ranres \ransub
 +
\atop{\displaystyle \rel \setminus \srel \strel \subset \not\subset
 +
\subseteq \not\subseteq \tbij \tfun \tinj \trel \True \tsur \union
 +
\Union \upred    \upto \usucc }}}</math>

Revision as of 14:03, 18 August 2008

 ( ) * + ,
- < = > [ ] \{ \} \bcmeq \bcmin \bcmsuch \bcomp \bfalse \binter \bmod
\Bool \bool \btrue \bunion \card \cprod \defi \div \atop
{\displaystyle \dom \domres \domsub \dprod \emptyset \exists \expn
\False \fcomp \finite \forall \geq \id \in \inter \Inter \intg \lambda
\land \leq \leqv \limp \lnot \lor \atop{\displaystyle \mapsto \max
\mid \min \nat \natn \neq \notin \ovl \pfun \pinj \pow \pown
\pprod     \prjone \prjtwo \psur \qdot \ran \ranres \ransub
\atop{\displaystyle \rel \setminus \srel \strel \subset \not\subset
\subseteq \not\subseteq \tbij \tfun \tinj \trel \True \tsur \union
\Union \upred     \upto \usucc }}}