Descripción Símbolo Comando LaTeX
Tal que $\mid$, $:$ o $/$ \\mid , : o /
Para todo $\forall$ \\forall
Existe $\exist$ \\exist o \\exists
No existe $\nexists$ \\nexists
Elemento de $\in$ \\in
No es elemento de $\notin$ \\notin
Implicación (si, entonces) $\Longrightarrow$ \\Longrightarrow
Doble implicación (si y solo si) $\Longleftrightarrow$ \\Longleftrightarrow
Existencial único $\exists!$ \\exists!
Conjunción (”y”) $\land$ \\land
Disyunción (”o”) $\lor$ \\lor
Negación $\lnot$ \\lnot
Subconjunto de $\subseteq$ \\subseteq
No es subconjunto de $\not\subseteq$ \\not\\subseteq
Pertenece (o contiene) $\ni$ \\ni
Conjunto vacío $\varnothing$ \\varnothing
Intersección $\cap$ \\cap
Unión $\cup$ \\cup
Definido como $\overset{\text{def}}{=}$ o $:=$ \\overset{\\text{def}}{=} o :=
Valor absoluto $ a
Suma de $\sum$ \\sum
Producto de $\prod$ \\prod
Límite $($cuando $x$ tiende a $a)$ $\lim\limits_{x \to a}$ \\lim\\limits_{x \\to a}
Derivada $f'(x)$ o $\frac{dy}{dx}$ f'(x) o \\frac{dy}{dx}
Integral $\small\displaystyle\int$ \\int
Derivada parcial $\partial$ \\partial
Diferencial de $x$ $dx$ dx
Por lo tanto $\therefore$ \\therefore
Porque $\because$ \\because
Contradicción $\perp$ \\perp
Igualdad $=$ =
Desigualdad $\ne$ \\ne
Aproximación $\approx$ \\approx
Equivalencia $\sim$ \\sim
Congruente $\equiv$ \\equiv
Proporcional a $\propto$ \\propto
Divisibilidad $a\mid b$ a \\ mid b
No divide $a \nmid b$ a \\nmid b
Producto cartesiano $\times$ \\times
Conjunto de partes $\mathcal P(X)$ \\mathcal P(X)
Final de demostración $\blacksquare$ o $\square$ \\blacksquare o \\square
Satisface (modelo) $\models$ \\models
Derivación o deducción $\vdash$ \\vdash
Función suelo $\lfloor x\rfloor$ \\lfloor x\\rfloor
Función techo $\lceil x\rceil$ \\lceil x\\rceil
Paralelo $\parallel$ \\parallel
Perpendicular $\perp$ \\perp