12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Thursday April 25, 2024
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>
|}
|}
