⊤ "Verdadero" ⊥ "Falso" P∧Q "P y Q" P∨Q "P o Q" ¬P "Negación de P" P⇒Q "Si P, entonces Q" P⇔Q "P si y sólo si Q" ∀x "Para cada x" ∃x "Existe al menos un x" x∊A "x es un elemento del conjunto A" A⊆B "A es subconjunto de B" A⊂B "A es subconjunto propio de B" A∩B "A intersección B" A∪B "A unión B" A∖B "Conjunto A menos conjunto B" A × B "El producto caresiano de los conjuntos A y B" a + b "a mas b" a - b "a menos b" a × b "a por b" a · b "a por b" a ÷ b "a entre b" a∣b "a divide exactamente a b" a ≡ b (mod m) "a es congurente con b en módulo m" ∞ "infinito" ∫f(x) dx "integral de la función f(x) respecto de x"
∅ "El conjunto vacío" ℕ "Naturales" ℤ "Enteros" ℚ "Racionales" ℝ "Reales" ℂ "Complejos"