Changes

→‎Option 1 : Less General: \operatorname{if~and~only~if}
Line 478: Line 478:     
{| align="center" cellpadding="8"
 
{| align="center" cellpadding="8"
| <math>\Upsilon \langle e, f \rangle = 1 \quad \operatorname{iff~and~only~if} \quad e \Rightarrow f.</math>
+
| <math>\Upsilon \langle e, f \rangle = 1 \quad \operatorname{if~and~only~if} \quad e \Rightarrow f.</math>
 
|}
 
|}
  
12,080

edits