12,122
edits
Changes
MyWikiBiz, Author Your Legacy — Saturday October 25, 2025
Jump to navigationJump to search→Functional Quantifiers: add explicit types for clarity
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
| <math>\Upsilon \langle u \rangle = 1 \quad \Leftrightarrow \quad u = 1.</math>
| <math>\Upsilon \langle u \rangle = 1_\mathbb{B} \quad \Leftrightarrow \quad u = 1_{\mathbb{B}^2 \to \mathbb{B}}.</math>
|}
|}
