Test area

From Event-B
Jump to navigationJump to search

 ( ) * + ,
- < = > [ ] \{ \} \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 }}} coco

Retrieved from ‘https://wiki.event-b.org/index.php?title=Test_area&oldid=10130’

Navigation menu

Page actions

  • Page
  • Discussion
  • Read
  • View source
  • History

Page actions

  • Page
  • Discussion
  • More
  • Tools

Personal tools

  • Log in

Navigation

  • Main Page
  • Event-B Language
  • Rodin Platform
  • Plug-in
  • Developer Support
  • FAQ
  • Event-B Examples
  • Industrial Projects
  • Random page
  • ''Event-B and Rodin''

Contribute

  • Wiki help
  • Village Pump
  • Recent changes

Tools

  • What links here
  • Related changes
  • Special pages
  • Printable version
  • Permanent link
  • Page information
Powered by MediaWiki
  • This page was last modified on 16 July 2012, at 09:24.
  • Privacy policy
  • About Event-B
  • Disclaimers