← All symbols

Symbol in context

pall k succeedp_{\text{all } k \text{ succeed}}

This entry links every published equation using this exact notation. Its meaning may change between equations.

Used in 1 equation