User:Philogo/sandbox

Logic: ¬ ∧ ∨ ∃ ∀ ¬ ∧ ∨ ∃ ∀
&not
Failed to parse (syntax error): {\displaystyle &not}
<math>\not\equiv</math>: $\not \equiv$ mess about
<math>A\not \models_L X</math>: $A\not \models _{L}X$
$A\models _{L}X$ implies $A\vdash _{S}X$
$A\models _{L}X$
$A\vdash _{S}X$
↑ or $\uparrow$ or | or ↑

$\downarrow$
¬
¬
¬
¬
¬

|-

| rowspan=3 bgcolor=#d0f0d0 align=center|

⇔

≡

↔

||material equivalence | rowspan=3|A ⇔ B means A is true if B is true and A is false if B is false. | rowspan=3|x + 5 = y +2  ⇔  x + 3 = y ! rowspan="3" |8660

8596 ! rowspan="3" | &hArr;
&equiv;
&harr;

! rowspan="3" |

$\Leftrightarrow$\Leftrightarrow
$\equiv$\equiv
$\leftrightarrow$\leftarrow

|-

1. 1 A ⇔ B
2. 2
3. 3 &hArr;
   &equiv;
   &harr;
4. 4
   $\Leftrightarrow$\Leftrightarrow
   $\equiv$\equiv
   $\leftrightarrow$\leftarrow
5. 5
   $\Leftrightarrow$
6. 6 $\equiv$
7. 7 $\Leftrightarrow$
8. 8 $T\models B$,
9. 9 $T\implies B$
10. 10 $T\therefore B$
11. 11 $T\models B$,
12. 12 $\models$,
13. 13 T $\models$ B
14. 14 The inference rule called Universal Generalization is characteristic of the predicate calculus. It can be stated as

if $\vdash \varphi$, then $\vdash \forall x\,\varphi$

Which reads: if φ is a theorem, then "for every x, φ" is a theorem as well.

1. $\vdash \forall x\,\varphi$
2. $\vdash \forall x\,\varphi$
3. $\vdash$
4. $\vdash$
6. $\varphi$

These cannopt be raad at work:- they look tiny & wierd

• {{nor-}} - $\downarrow$
• {{nand}} - $\uparrow$
• {{cnv}} - ←

these look like boxes:-

• {{cni}} - ⊄
• {{nonimp}} - ⊅

try

• Biconditional (xnor) ($\equiv$ or $\leftrightarrow$)
  

($\equiv$ or $\leftrightarrow$) $\equiv$

test cannot sign by clicking on four tildes further test 31.49.82.106 (talk) 23:06, 12 October 2014 (UTC)

further test after signing in further test using opera --— Philogos (talk) 16:08, 14 October 2014 (UTC)

IPA vowel diagram

IPA: Vowels

	Front	Central	Back
Close	i y	ɨ ʉ	ɯ u
Near-close	ɪ ʏ		ʊ
Close-mid	e ø	ɘ ɵ	ɤ o
Mid	e̞ ø̞	ə	ɤ̞ o̞
Open-mid	ɛ œ	ɜ ɞ	ʌ ɔ
Near-open	æ	ɐ
Open	a ɶ	ä	ɑ ɒ

---

• IPA help
•  audio
• full chart
• template

Legend: unrounded • rounded

terse: chart

IPA: Vowels

	Front	Central	Back
Close	i y	ɨ ʉ	ɯ u
Near-close	ɪ ʏ		ʊ
Close-mid	e ø	ɘ ɵ	ɤ o
Mid	e̞ ø̞	ə	ɤ̞ o̞
Open-mid	ɛ œ	ɜ ɞ	ʌ ɔ
Near-open	æ	ɐ
Open	a ɶ	ä	ɑ ɒ

---

• IPA help
•  audio
• full chart
• template

Legend: unrounded • rounded

test: Hello, I'm [[User:{{subst:REVISIONUSER}}|{{subst:REVISIONUSER}}]]. An edit that you recently made seemed to be a test and has been reverted. If you want to practice editing, please use the sandbox. If you think I made a mistake, or if you have any questions, you can leave me a message on [[User talk:{{subst:REVISIONUSER}}|my talk page]]. Thanks!