Difference between revisions of "Test area"
From Event-B
Jump to navigationJump to searchimported>WikiSysop |
imported>Tommy m |
||
(4 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
− | <math> | + | <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> coco |
Latest revision as of 09:24, 16 July 2012
coco