Difference between revisions of "Test area"
From Event-B
Jump to navigationJump to searchimported>WikiSysop |
imported>Ponsard |
||
Line 9: | Line 9: | ||
\atop{\displaystyle \rel \setminus \srel \strel \subset \not\subset | \atop{\displaystyle \rel \setminus \srel \strel \subset \not\subset | ||
\subseteq \not\subseteq \tbij \tfun \tinj \trel \True \tsur \union | \subseteq \not\subseteq \tbij \tfun \tinj \trel \True \tsur \union | ||
− | \Union \upred \upto \usucc }}}</math> | + | \Union \upred \upto \usucc }}}</math> coco |
Revision as of 07:48, 6 February 2010
coco