User:Philogo/sandbox: Difference between revisions

Content deleted Content added

Inline

Revision as of 19:45, 23 August 2007

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

these look like boxes:-

try

( $\equiv$ oder $\leftrightarrow$ ) $\equiv$

@@ Line 2: / Line 2: @@
 # <math>T \implies B</math>
 # <math>T \therefore B</math>
-<math>T \models B</math>,
+# <math>T \models B</math>,
-<math> \models </math>,
+# <math> \models </math>,
+# T <math> \models </math> B
 These cannopt be raad at work:-