Symbol | Name | Short description | Definition |
---|---|---|---|

/\ |
universal quantifier | for every | |

\/ |
existential quantifier | there exists | |

=> |
implication | then | |

<=> |
iff | if and only if | |

! |
negation | not | |

!= |
is not equal to | ||

a:-A |
belonging | a belongs to A | |

f|A |
restriction | f|A={(x,f(x))|x:-A} | |

AnB |
intersection | intersection of A and B |
n({A,B}) |

n(S) |
intersection | intersection of all sets that belong to S |
Operations on sets |

O |
empty set | set that doesn't contain any element |
Axioms |

P(A) |
power set | set that contains all subsets of A |
Axioms |

AuB |
union | union of A and B |
u({A,B}) |

u(S) |
union | union of all sets that belong to S |
Axioms |

Mathematical content on Apronus.com is presented in Math ASCII Notation which can be properly displayed by all web browsers because it uses only the basic set of characters found on all keyboards and in all fonts. More about Math ASCII Notation