| Símbolo | Código LaTeX | Significado | Ejemplo LaTeX | Expresión en palabras |
|---|---|---|---|---|
| + | + | Suma | a + b | a más b |
| − | – | Resta | a – b | a menos b |
| × | \times | Multiplicación | a \times b | a por b |
| ÷ | \div | División | a \div b | a dividido por b |
| = | = | Igualdad | a = b | a es igual a b |
| ≠ | \neq | Desigualdad | a \neq b | a no es igual a b |
| < | < | Menor que | a < b | a es menor que b |
| > | > | Mayor que | a > b | a es mayor que b |
| ≤ | \leq | Menor o igual que | a \leq b | a es menor o igual que b |
| ≥ | \geq | Mayor o igual que | a \geq b | a es mayor o igual que b |
| √ | \sqrt{} | Raíz cuadrada | \sqrt{a} | raíz cuadrada de a |
| ^ | ^ | Potencia | a^2 | a al cuadrado |
| _ | _ | Subíndice | a_1 | a sub uno |
| ∑ | \sum | Suma total | \sum_{i=1}^{n} a_i | suma de a sub i desde i igual a 1 hasta n |
| ∏ | \prod | Producto total | \prod_{i=1}^{n} a_i | producto de a sub i desde i igual a 1 hasta n |
| ∈ | \in | Pertenece a | x \in A | x pertenece al conjunto A |
| ∉ | \notin | No pertenece a | x \notin A | x no pertenece al conjunto A |
| ⊂ | \subset | Subconjunto de | A \subset B | A es subconjunto de B |
| ⊆ | \subseteq | Subconjunto o igual | A \subseteq B | A es subconjunto o igual a B |
| ∪ | \cup | Unión | A \cup B | A unión B |
| ∩ | \cap | Intersección | A \cap B | A intersección B |
| ∅ | \emptyset | Conjunto vacío | A = \emptyset | A es el conjunto vacío |
| ∧ | \wedge | Y lógico | p \wedge q | p y q |
| ∨ | \vee | O lógico | p \vee q | p o q |
| ⇒ | \Rightarrow | Implica | p \Rightarrow q | p implica q |
| ⇔ | \Leftrightarrow | Doble implicación | p \Leftrightarrow q | p si y solo si q |
| ∀ | \forall | Para todo | \forall x \in A | para todo x en A |
| ∃ | \exists | Existe | \exists x \in A | existe un x en A |
| ∇ | \nabla | Nabla (gradiente) | \nabla f | gradiente de f |
| ∫ | \int | Integral | \int_a^b f(x),dx | integral de f de a a b |
| Símbolo | Código LaTeX | Significado | Ejemplo LaTeX | Expresión en palabras |
|---|---|---|---|---|
| ≈ | \approx | Aproximadamente igual | \pi \approx 3.14 | pi es aproximadamente igual a 3.14 |
| ∝ | \propto | Proporcional a | y \propto x | y es proporcional a x |
| ∞ | \infty | Infinito | \lim_{x \to \infty} f(x) | el límite de f(x) cuando x tiende a infinito |
| ∂ | \partial | Derivada parcial | \frac{\partial f}{\partial x} | derivada parcial de f respecto a x |
| ℕ | \mathbb{N} | Números naturales | x \in \mathbb{N} | x pertenece a los naturales |
| ℤ | \mathbb{Z} | Números enteros | x \in \mathbb{Z} | x pertenece a los enteros |
| ℚ | \mathbb{Q} | Números racionales | x \in \mathbb{Q} | x pertenece a los racionales |
| ℝ | \mathbb{R} | Números reales | x \in \mathbb{R} | x pertenece a los reales |
| ℂ | \mathbb{C} | Números complejos | z \in \mathbb{C} | z pertenece a los complejos |
| ∴ | \therefore | Por lo tanto | \therefore x = 2 | por lo tanto, x es igual a 2 |
| ∵ | \because | Porque | \because x > 0 | porque x es mayor que 0 |
| ⊕ | \oplus | Suma directa / XOR | A \oplus B | A suma directa con B |
| ⊗ | \otimes | Producto tensorial | A \otimes B | A producto tensorial con B |
| ⊥ | \perp | Perpendicular | AB \perp CD | AB es perpendicular a CD |
| ∠ | \angle | Ángulo | \angle ABC | ángulo ABC |
| ⌊ ⌋ | \lfloor \rfloor | Parte entera inferior | \lfloor x \rfloor | piso de x |
| ⌈ ⌉ | \lceil \rceil | Parte entera superior | \lceil x \rceil | techo de x |
| ⊨ | \models | Modela, satisface | M \models \phi | M satisface la fórmula φ |
| ⊢ | \vdash | Deduce, prueba | \vdash \phi | se deduce φ |
| ∼ | \sim | Similar o distribuido como | X \sim N(0,1) | X se distribuye como una normal (0,1) |
| Símbolo | Código LaTeX | Significado | Ejemplo LaTeX | Expresión en palabras |
|---|---|---|---|---|
| ⊃ | \supset | Superconjunto | A \supset B | A es superconjunto de B |
| ⊇ | \supseteq | Superconjunto o igual | A \supseteq B | A es superconjunto o igual a B |
| ∖ | \setminus | Diferencia de conjuntos | A \setminus B | A sin B |
| ⊈ | \nsubseteq | No es subconjunto | A \nsubseteq B | A no es subconjunto de B |
| ≡ | \equiv | Equivalencia | a \equiv b \pmod{n} | a es congruente con b módulo n |
| ∘ | \circ | Composición de funciones | f \circ g | f compuesto con g |
| ↦ | \mapsto | Mapeo | x \mapsto x^2 | x se mapea a x al cuadrado |
| → | \to | Flecha hacia | f: A \to B | f va de A a B |
| ↔ | \leftrightarrow | Equivalencia lógica | p \leftrightarrow q | p si y solo si q |
| ⋂ | \bigcap | Intersección general | \bigcap_{i=1}^{n} A_i | intersección de todos los A sub i |
| ⋃ | \bigcup | Unión general | \bigcup_{i=1}^{n} A_i | unión de todos los A sub i |
| ⋅ | \cdot | Producto (punto) | a \cdot b | a por b (producto puntual) |
| ⊤ | \top | Verdad (valor lógico) | \phi = \top | φ es verdadero |
| ⊥ | \bot | Falsedad (valor lógico) | \phi = \bot | φ es falso |
| ⊢ ⊣ | \vdash, \dashv | Símbolos de deducción | A \vdash B | A deduce B |
| ℘ | \wp | Conjunto de partes | \wp(A) | conjunto de partes de A |
| ⊄ | \nsubset | No es subconjunto propio | A \nsubset B | A no es subconjunto propio de B |
| ⫤ | \trianglelefteq | Subgrupo normal | H \trianglelefteq G | H es un subgrupo normal de G |
| ⫧ | \ntrianglelefteq | No es subgrupo normal | H \ntrianglelefteq G | H no es subgrupo normal de G |
| ♯ | \sharp | Sostenido / cardinalidad alternativa | A^\sharp | A sostenido o cardinal |
| ♭ | \flat | Bemol / usada en algunas notaciones especiales | B^\flat | B bemol (o versión modificada) |
| ∇² | \nabla^2 | Laplaciano | \nabla^2 f | laplaciano de f |
| d | d | Diferencial (no necesita LaTeX especial) | \int f(x),dx | diferencial de x |
| Símbolo | Código LaTeX | Significado | Ejemplo LaTeX | Expresión en palabras |
|---|---|---|---|---|
| ∋ | \ni | Contiene a | A \ni x | A contiene a x |
| ∤ | \nmid | No divide | a \nmid b | a no divide a b |
| ∣ | \mid | Divide a | a \mid b | a divide a b |
| ⊭ | \nvDash | No satisface | M \nvDash \phi | M no satisface φ |
| ∃! | \exists! | Existe único | \exists! x \in A | existe un único x en A |
| ⪯ | \preceq | Precedencia (orden parcial) | a \preceq b | a precede a b |
| ⪰ | \succeq | Sucesión (orden parcial) | a \succeq b | a sucede a b |
| ≺ | \prec | Estrictamente antes (orden parcial) | a \prec b | a es estrictamente menor que b |
| ≻ | \succ | Estrictamente después | a \succ b | a es estrictamente mayor que b |
| ∥ | \parallel | Paralelo | AB \parallel CD | AB es paralelo a CD |
| ∦ | \nparallel | No paralelo | AB \nparallel CD | AB no es paralelo a CD |
| ↗ | \nearrow | Flecha ascendente derecha | f: A \nearrow B | f se incrementa de A a B |
| ↘ | \searrow | Flecha descendente derecha | f: A \searrow B | f decrece de A a B |
| ⊳ | \triangleright | Acción o inclusión de semigrupo | A \triangleright B | A actúa sobre B |
| ⊲ | \triangleleft | Acción izquierda | B \triangleleft A | B actúa a la izquierda por A |
| ∠ABC | \angle ABC | Ángulo | \angle ABC = 90^\circ | ángulo ABC igual a 90 grados |
| ∓ | \mp | Menos/mas | a \mp b | a menos/mas b |
| ± | \pm | Más/menos | x = 2 \pm \sqrt{3} | x igual a dos más/menos raíz de tres |
| ‖a‖ | \lVert a \rVert | Norma | \lVert v \rVert | norma de v |
| 〈x〉 | \langle x \rangle | Generador / producto escalar | \langle u, v \rangle | producto escalar de u y v |
| A | A | |||
| det(A) | \det A | Determinante | \det A = 0 | el determinante de A es cero |
| rank(A) | \operatorname{rank} A | Rango | \operatorname{rank} A = 2 | el rango de A es dos |
| ker(f) | \ker f | Núcleo de función | \ker f = {x \in V : f(x) = 0} | núcleo de f |
| im(f) | \operatorname{im} f | Imagen de función | \operatorname{im} f = W | la imagen de f es W |
| Símbolo | Código LaTeX | Significado | Ejemplo LaTeX | Expresión en palabras |
|---|---|---|---|---|
| ⊄ | \not\subset | No subconjunto propio | A \not\subset B | A no es subconjunto de B |
| ≅ | \cong | Congruente / Isomorfo | \triangle ABC \cong \triangle DEF | el triángulo ABC es congruente con el triángulo DEF |
| ≃ | \simeq | Isomorfismo / Equivalencia | f \simeq g | f es homotópico o equivalente a g |
| ∼ | \sim | Equivalencia / Aproximación | a \sim b | a es equivalente a b |
| ⤖ | \rightsquigarrow | Aproximación o convergencia débil | f_n \rightsquigarrow f | fₙ converge débilmente a f |
| ⊗̄ | \bar{\otimes} | Producto tensorial modificado | A \bar{\otimes} B | tensor con modificación |
| ⊞ | \boxplus | Suma externa / directa | A \boxplus B | suma externa de A y B |
| ⊠ | \boxtimes | Producto externo | A \boxtimes B | producto externo de A y B |
| ∉ | \notin | No pertenece | x \notin A | x no pertenece a A |
| ↺ | \circlearrowleft | Rotación / mapeo circular | f: X \circlearrowleft | f mapea cíclicamente en X |
| ↻ | \circlearrowright | Rotación inversa | f: X \circlearrowright | f rota en sentido horario |
| ∴ | \therefore | Por lo tanto | \therefore x = 5 | por lo tanto, x es igual a 5 |
| ∵ | \because | Porque | \because x > 0 | porque x es mayor que cero |
| ⊬ | \nvdash | No se deduce | \Gamma \nvdash \phi | no se deduce φ de Γ |
| ∅ ≠ A | \emptyset \neq A | A no es vacío | \emptyset \neq A | A no es el conjunto vacío |
| ‖x‖ | \left|x\right| | Norma | \left|x\right| = 1 | la norma de x es 1 |
| supp(f) | \operatorname{supp}(f) | Soporte de función | \operatorname{supp}(f) = [0,1] | el soporte de f es el intervalo [0,1] |
| E[X] | \mathbb{E}[X] | Esperanza matemática | \mathbb{E}[X] = \mu | la esperanza de X es mu |
| Var(X) | \operatorname{Var}(X) | Varianza | \operatorname{Var}(X) = \sigma^2 | varianza de X es sigma al cuadrado |
| Cov(X,Y) | \operatorname{Cov}(X,Y) | Covarianza | \operatorname{Cov}(X,Y) = 0 | X e Y son no correlacionados |
| P(A) | \mathbb{P}(A) | Probabilidad de A | \mathbb{P}(A) = 0.5 | la probabilidad de A es 0.5 |
| f’ | f’ | Derivada | f'(x) = 2x | derivada de f en x es 2x |
| f» | f» | Segunda derivada | f»(x) = 2 | segunda derivada de f en x es 2 |
| #A | #A | Cardinalidad / número de elementos | #A = 10 | A tiene diez elementos |
| Símbolo | Código LaTeX | Significado | Ejemplo LaTeX | Expresión en palabras |
|---|---|---|---|---|
| ≜ | \triangleq | Definido como | f(x) \triangleq x^2 | f(x) se define como x al cuadrado |
| ≝ | \overset{\mathrm{def}}{=} | Definido por igualdad | A \overset{\mathrm{def}}{=} B | A se define igual a B |
| ∃x∀y | \exists x,\forall y | Cuantificadores mixtos | \exists x,\forall y, P(x,y) | existe un x tal que para todo y se cumple P(x, y) |
| ◊ | \lozenge | Posibilidad (lógica modal) | \lozenge P | es posible que P |
| □ | \Box | Necesidad (lógica modal) | \Box P | necesariamente P |
| ⋮ | \vdots | Puntos verticales | \begin{bmatrix} 1 \ \vdots \ n \end{bmatrix} | vector columna con puntos |
| ⋯ | \cdots | Puntos centrados | a_1 + \cdots + a_n | suma de a sub uno a a sub n |
| ⋱ | \ddots | Puntos en diagonal | \begin{bmatrix} 1 & \cdots \ \vdots & \ddots \end{bmatrix} | matriz con puntos diagonales |
| ⟨x,y⟩ | \langle x, y \rangle | Producto interno | \langle u, v \rangle = 0 | u y v son ortogonales |
| ⊤ | \top | Verdadero (valor lógico) | P = \top | P es verdadero |
| ⊥ | \bot | Falso / contradicción | Q = \bot | Q es falso |
| ↪ | \hookrightarrow | Inyección / inclusión | A \hookrightarrow B | A está incluido en B |
| ↩ | \hookleftarrow | Inclusión desde la derecha | B \hookleftarrow A | A incluido en B desde la derecha |
| ≉ | \not\approx | No aproximadamente igual | \pi \not\approx \frac{22}{7} | pi no es aproximadamente igual a 22/7 |
| ⟶ | \longrightarrow | Flecha larga | f: A \longrightarrow B | f va de A a B |
| ⟼ | \longmapsto | Mapeo largo | x \longmapsto x^2 | x se mapea a x al cuadrado |
| ↠ | \twoheadrightarrow | Sobreyectiva | f: A \twoheadrightarrow B | f es sobreyectiva |
| ↣ | \rightarrowtail | Inyectiva | f: A \rightarrowtail B | f es inyectiva |
| ⊂⊂ | \Subset | Subconjunto compacto | K \Subset \Omega | K está compactamente contenido en Ω |
| ⊃⊃ | \Supset | Superconjunto compacto | \Omega \Supset K | Ω contiene compactamente a K |
| limsup | \limsup | Límite superior | \limsup_{n \to \infty} a_n | límite superior de a sub n |
| liminf | \liminf | Límite inferior | \liminf_{n \to \infty} a_n | límite inferior de a sub n |
| deg | \deg | Grado (polinomio o vértice) | \deg(f) = 3 | el grado de f es 3 |
| tr | \operatorname{tr} | Traza | \operatorname{tr}(A) = 5 | la traza de A es 5 |
| dom | \operatorname{dom} | Dominio | \operatorname{dom}(f) | el dominio de f |
| cod | \operatorname{cod} | Codominio | \operatorname{cod}(f) | el codominio de f |
| id | \operatorname{id} | Identidad | \operatorname{id}_A(x) = x | función identidad en A |
| ker | \ker | Núcleo | \ker(T) = {v \mid T(v) = 0} | el núcleo de T |
| Símbolo | Código LaTeX | Significado | Ejemplo LaTeX | Expresión en palabras |
|---|---|---|---|---|
| ℝ | \mathbb{R} | Conjunto de los reales | x \in \mathbb{R} | x pertenece a los reales |
| ℂ | \mathbb{C} | Conjunto de los complejos | z \in \mathbb{C} | z pertenece a los complejos |
| ℕ | \mathbb{N} | Conjunto de los naturales | n \in \mathbb{N} | n es natural |
| ℤ | \mathbb{Z} | Conjunto de los enteros | k \in \mathbb{Z} | k es un entero |
| ℚ | \mathbb{Q} | Conjunto de los racionales | r \in \mathbb{Q} | r es racional |
| ℍ | \mathbb{H} | Cuaterniones | q \in \mathbb{H} | q es un cuaternión |
| ∂ | \partial | Derivada parcial | \frac{\partial f}{\partial x} | derivada parcial de f respecto a x |
| ∇ | \nabla | Gradiente | \nabla f | gradiente de f |
| ∆ | \Delta | Laplaciano (en física o análisis) | \Delta u = 0 | u satisface la ecuación de Laplace |
| ⊕ | \oplus | Suma directa | V = U \oplus W | V es suma directa de U y W |
| ⊗ | \otimes | Producto tensorial | V \otimes W | producto tensorial de V y W |
| ∠ | \angle | Ángulo | \angle ABC = 90^\circ | el ángulo ABC es recto |
| ∇f · v | \nabla f \cdot v | Derivada direccional | \nabla f \cdot v | derivada de f en la dirección de v |
| ∮ | \oint | Integral de línea | \oint_\gamma f(z),dz | integral de f sobre el camino γ |
| ∫ | \int | Integral | \int_0^1 f(x),dx | integral de f desde 0 hasta 1 |
| ∫∫ | \iint | Integral doble | \iint_D f(x,y),dx,dy | integral doble sobre D |
| ∫∫∫ | \iiint | Integral triple | \iiint_E f(x,y,z),dV | integral triple sobre E |
| mod n | \bmod n | Congruencia módulo n | a \equiv b \bmod n | a es congruente con b módulo n |
| ≇ | \not\simeq | No isomorfo | G \not\simeq H | G no es isomorfo a H |
| ≮ | \not< | No menor que | x \not< y | x no es menor que y |
| ≰ | \nleq | No menor o igual | x \nleq y | x no es menor o igual que y |
| ≱ | \ngeq | No mayor o igual | x \ngeq y | x no es mayor o igual que y |
| ⊈ | \nsubseteq | No subconjunto | A \nsubseteq B | A no está contenido en B |
| ≐ | \doteq | Igual por definición o por aproximación | f(x) \doteq x^2 | f se aproxima a x al cuadrado |
| ↷ | \curvearrowright | Acción de grupo (derecha) | G \curvearrowright X | G actúa sobre X |
| ↶ | \curvearrowleft | Acción de grupo (izquierda) | G \curvearrowleft X | G actúa sobre X a la izquierda |