Símbolos para cuantificadores Aparte de$\forall$ y$\exists$

Question

Los símbolos $\forall$ $\exists$ denotar "para todo" y "existe" cuantificadores. En algunos documentos, vi la (no tan común) cuantificadores $Я$$\exists^+$, lo que denota "un elegido al azar un elemento de" y "para la mayoría de los elementos", respectivamente.

Hay otros símbolos para los cuantificadores?

Estoy especialmente interesado en cuantificadores para:

• para todos, pero un número finito de elementos de...
• para una infinidad de elementos de...

---

Edit: Después de ver algunos de los comentarios, he encontrado la lista de la lógica de los símbolos y la tabla de símbolos matemáticos, de los que podría ser útil para los demás.

Answer 1

Los símbolos que se utilizan más comúnmente para expresar "para todos, excepto un número finito" y "hay infinitamente muchos" son$\forall^\infty$ y$\exists^\infty$, respectivamente.

Answer 2

No del todo un símbolo en sí, pero por supuesto no es "AE" ( "casi en todas partes"): "para todos sino un conjunto de medida cero". Probabilistas llaman "como" ( "casi con seguridad"). También están en el hábito de escribir "AA" ( "casi todos"): "para todos, excepto un número finito" y "io" ( "infinitamente a menudo"): "para un número infinito".

En la teoría del potencial, también se ve "qe" ( ​​"cuasi en todas partes"): "para todos sino un conjunto de cero capacidad".