Aunque en el lenguaje formal hemos dicho que el simbolismo es arbitrario, si que se han generalizado algunos símbolos de estos, y serán los aquí utilizados normalmente.
| nombre | símbolo | latex | descripción |
|---|---|---|---|
| y | $\wedge$ | \wedge | y lógica |
| o | $\vee$ | \vee | o lógica |
| negación | $\neg$ | \neg | negación lógica |
| implica | $\rightarrow$ | \rightarrow | implicación |
| si solo si | $\leftrightarrow$ | \leftrightarrow | doble implicación |
| equivalencia lógica | $\equiv$ | \equiv | equivalencia lógica |
| nombre | símbolo | latex | descripción |
|---|---|---|---|
| + | + | + | suma |
| - | - | - | resta |
| producto | $\cdot$ | \cdot | producto |
| división | : | : | división, esto tiene gran cantidad! |
| división | / | / | división |
| nombre | símbolo | latex | descripción |
|---|---|---|---|
| conjunto vacío | $\emptyset$ | \emptyset | ningún elemento |
| relación | $\Re$ | \Re | Es para la abreviatura de las relaciones de equivalencia |
| para todo | $\forall$ | \forall | Cuantificador universal, para todo |
| existe | $\exists$ | \exists | Cuantificador existencial |
| existe uno y solo uno | $\exists$ ! | \exists ! | Cuantificador existencial único |
| intersección | $\cap$ | \cap | |
| unión | $\cup$ | \cup | |
| unión disjunta | $\dot\cup$ | \dot\cup | |
| igual | = | = | |
| suma | + | + | |
| producto multiplicación | $\cdot$ | \cdot | |
| producto exterior | $\times$ | \times | |
| dividir | $\div$ | \div | |
| más igual | $\pm$ | \pm | |
| igual más | $\mp$ | \mp | |
| raiz | $\sqrt{}$ | \sqrt{} | |
| subgrupo | $\leq$ | \leq | |
| subgrupo | $\geq$ | \geq | |
| subgrupo invariante | $\unlhd$ | \unlhd | |
| llaves | $\{ \}$ | \{ \} | las llaves se usan para listar los elementos de un conjunto |
| modulo | / | / | hace referencia al particionado que genera una relación de equivalencia dada. |
| naturales | $\mathbb{N}$ | \mathbb{N} | conjunto de los números naturales. |
| naturales* | $\mathbb{N}^{*}$ | \mathbb{N}^{*} | conjunto de los números naturales más el 0. |
| enteros | $\mathbb{Z}$ | \mathbb{Z} | conjunto de los números enteros. |
| racionales | $\mathbb{Q}$ | \mathbb{Q} | conjunto de los números fraccionarios. |
| reales | $\mathbb{R}$ | \mathbb{R} | conjunto de los números reales. |
| complejos | $\mathbb{C}$ | \mathbb{C} | conjunto de los números complejos. |
| nombre | símbolo | latex | descripción |
|---|---|---|---|
| menor que | < | < | |
| mayor que | > | > | |
| menor o igual que | $\leq$ | \leq | |
| mayor o igual que | $\geq$ | \geq | |
| mucho mayor | $\gg$ | \gg | |
| mucho menor | $\ll$ | \ll | |
| contenido en | $\subset$ | \subset | |
| contenido en o igual | $\subseteq$ | \subseteq | |
| contiene a | $\supset$ | \supset | |
| contiene a o es el total | $\supseteq$ | \supseteq | |
| pertenece a | $\in$ | \in | |
| a este pertenece | $\ni$ | \ni |
| nombre | símbolo | latex | descripción |
|---|---|---|---|
| real | $\Re$ | \Re | |
| imaginario | $\Im$ | \Im | |
| diferencial parcial | $\partial$ | \partial | |
| infinito | $\infty$ | \infty | |
| gradiente | $\nabla$ | \nabla |
| nombre | símbolo | latex | descripción |
|---|---|---|---|
| alfa | $\alpha$ | \alpha | |
| beta | $\beta$ | \beta | |
| gamma | $\gamma$ | \gamma | |
| delta | $\delta$ | \delta | |
| epsilon cirílico | $\epsilon$ | \epsilon | |
| epsilon | $\varepsilon$ | \varepsilon | |
| zeta | $\zeta$ | \zeta | |
| eta | $\eta$ | \eta | |
| tita cirílico | $\theta$ | \theta | |
| tita | $\vartheta$ | \vartheta | |
| iota | $\iota$ | \iota | |
| kappa | $\kappa$ | \kappa | |
| lambda | $\lambda$ | \lambda | |
| mu | $\mu$ | \mu | |
| nu | $\nu$ | \nu | |
| chi | $\xi$ | \xi | |
| o | o | o | |
| pi | $\pi$ | \pi | |
| pi | $\varpi$ | \varpi | |
| rho | $\rho$ | \rho | |
| varrho | $\varrho$ | \varrho | |
| sigma | $\sigma$ | \sigma | |
| varsigma | $\varsigma$ | \varsigma | |
| tau | $\tau$ | \tau | |
| upsilon | $\upsilon$ | \upsilon | |
| phi | $\phi$ | \phi | |
| varphi | $\varphi$ | \varphi | |
| chi | $\chi$ | \chi | |
| psi | $\psi$ | \psi | |
| omega | $\omega$ | \omega |
