Test area: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>WikiSysop New page: <math> A </math> |
imported>Tommy mNo edit summary |
||
(5 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