Symbols of Mathematical Foundations • Manim by Python
Mathematical Logic & Set Theory Symbols
Logical Connectives:
NEGATION | CONJUNCTION | DISJUNCTION | EXCLUSIVE OR (XOR) | IMPLICATION | BICONDITIONAL
Quantifiers:
UNIVERSAL QUANTIFIER | EXISTENTIAL QUANTIFIER | UNIQUENESS QUANTIFIER
Set Theory:
SET | ELEMENT OF | NOT AN ELEMENT OF | PROPER SUBSET | SUBSET OR EQUAL TO | UNION | INTERSECTION | SET DIFFERENCE | COMPLEMENT | EMPTY SET | UNIVERSAL SET | POWER SET
Number Systems:
NATURAL NUMBERS | INTEGERS | RATIONAL NUMBERS | REAL NUMBERS | COMPLEX NUMBERS
Relations & Inference:
EQUALITY | INEQUALITY | EQUIVALENCE | APPROXIMATELY EQUAL | THEREFORE | BECAUSE | SYNTACTIC ENTAILMENT | SEMANTIC ENTAILMENT
Advanced Concepts & Miscellaneous:
INFINITY | ALEPH NULL | FACTORIAL | SUCH THAT
Created by: Rayyan Basem Al Hayali
Powered by: Python & Manim #animation #manim #maths #programming #coding #python #mathematics #math