prev ( testsuite > ErrorHandling > NumChildren > singleBinary  ) next

 Alternatives: (mml file)  (full) (simple) (plain) (form) (slideshow) File: ErrorHandling/NumChildren/singleBinary CVS-ID: Author: Dave Doyle, Design Science Description: Checking the behavior of binary operators with only one sibling in an tag. Sample Rendering: N/A

$\begin{array}{cc}\text{compose}& x\\ \text{quotient}& \left\lfloor\frac{x}{}\right\rfloor \\ \text{divide}& \frac{x}{}\\ \text{plus}& x\\ \text{power}& x^{}\\ \text{rem}& x\mod \\ \text{times}& x\\ \text{and}& x\\ \text{or}& x\\ \text{xor}& x\\ \text{implies}& x\implies \\ \text{eq}& x\\ \text{neq}& x\\ \text{gt}& x\\ \text{lt}& x\\ \text{geq}& x\\ \text{leq}& x\\ \text{equivalent}& x\\ \text{approx}& x\\ \text{factorof}& x | \\ \text{union}& x\\ \text{intersect}& x\\ \text{in}& x\in \\ \text{notin}& x\notin \\ \text{subset}& x\\ \text{prsubset}& x\\ \text{notsubset}& x\nsubseteq \\ \text{notprsubset}& x\not\subset \\ \text{setdiff}& x\setminus \\ \text{cartesianproduct}& x\end{array}$

Source Code:

```
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mtable>
<mtr>
<mtd>
<mtext>compose</mtext>
</mtd>
<mtd>
<apply>
<compose/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>quotient</mtext>
</mtd>
<mtd>
<apply>
<quotient/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>divide</mtext>
</mtd>
<mtd>
<apply>
<divide/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>plus</mtext>
</mtd>
<mtd>
<apply>
<plus/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>power</mtext>
</mtd>
<mtd>
<apply>
<power/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>rem</mtext>
</mtd>
<mtd>
<apply>
<rem/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>times</mtext>
</mtd>
<mtd>
<apply>
<times/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>and</mtext>
</mtd>
<mtd>
<apply>
<and/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>or</mtext>
</mtd>
<mtd>
<apply>
<or/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>xor</mtext>
</mtd>
<mtd>
<apply>
<xor/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>implies</mtext>
</mtd>
<mtd>
<apply>
<implies/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>eq</mtext>
</mtd>
<mtd>
<apply>
<eq/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>neq</mtext>
</mtd>
<mtd>
<apply>
<neq/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>gt</mtext>
</mtd>
<mtd>
<apply>
<gt/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>lt</mtext>
</mtd>
<mtd>
<apply>
<lt/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>geq</mtext>
</mtd>
<mtd>
<apply>
<geq/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>leq</mtext>
</mtd>
<mtd>
<apply>
<leq/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>equivalent</mtext>
</mtd>
<mtd>
<apply>
<equivalent/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>approx</mtext>
</mtd>
<mtd>
<apply>
<approx/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>factorof</mtext>
</mtd>
<mtd>
<apply>
<factorof/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>union</mtext>
</mtd>
<mtd>
<apply>
<union/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>intersect</mtext>
</mtd>
<mtd>
<apply>
<intersect/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>in</mtext>
</mtd>
<mtd>
<apply>
<in/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>notin</mtext>
</mtd>
<mtd>
<apply>
<notin/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>subset</mtext>
</mtd>
<mtd>
<apply>
<subset/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>prsubset</mtext>
</mtd>
<mtd>
<apply>
<prsubset/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>notsubset</mtext>
</mtd>
<mtd>
<apply>
<notsubset/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>notprsubset</mtext>
</mtd>
<mtd>
<apply>
<notprsubset/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>setdiff</mtext>
</mtd>
<mtd>
<apply>
<setdiff/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
<mtr>
<mtd>
<mtext>cartesianproduct</mtext>
</mtd>
<mtd>
<apply>
<cartesianproduct/>
<ci>x</ci>
</apply>
</mtd>
</mtr>
</mtable>
[/itex]
```