Back to home

MathML Test : Logical symbols

This is a test to check if symbols from logic can be displayed. Three of them have a stretchy attribute set to "true".

1. check if all symbols are displayed
2. check the stretch behaviour for Implies, (Or and And ???).

• SuchThat : $\ni$
• Therefore : $\therefore$
• Because : $\because$
• Implies :$\Rightarrow$; $\begin{array}{c}\text{sometext}\\ \Rightarrow \\ \text{sometext}\end{array}$
• RoundImplies : $⥰$
• And : ?????????$$
• Or : ?????????
• amp : $\&$
• Not : $\neg F$
• Exists : $\exists xP\left(x\right)$
• ForAll : $\forall yQ\left(y\right)$
• NotExists : $\nexists xP\left(x\right)$

Other formulae with several symbols of logics :

• Axiom of Powerset :$\forall X\exists Y\forall y\left(y\in Y\iff \left(\forall x\left(x\in Y\Rightarrow x\in X\right)\right)\right)$
• One of De Morgan's laws : $\left(\neg \left(P\bigwedge Q\right)\right)\iff \left(\neg P\bigvee \neg Q\right)$
• Uniform continuity : $\forall \epsilon >0\exists \delta \forall x,y\in I\mid x-y\mid <\delta \Rightarrow \mid f\left(x\right)-f\left(y\right)\mid <\epsilon$