Changes

Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction (view source)

Revision as of 02:34, 5 July 2009

128 bytes added , 02:34, 5 July 2009

→‎Tables: uniform typeface for logical ops

Line 498: Line 498:

===Tables===

−

~~<br>~~

{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; text-align:center; width:90%"

Line 550: Line 548:

|-

| height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]]

−

| <math>\texttt{(} a, b \texttt{)}</math>

+

| <math>\texttt{(} a \texttt{,} b \texttt{)}</math>

|

<math>\begin{matrix}

Line 565: Line 563:

|-

| height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]]

−

| <math>\texttt{((} a, b \texttt{))}</math>

+

| <math>\texttt{((} a \texttt{,} b \texttt{))}</math>

|

<math>\begin{matrix}

Line 580: Line 578:

|-

| height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]]

−

| <math>\texttt{(} a, b, c \texttt{)}</math>

+

| <math>\texttt{(} a \texttt{,} b \texttt{,} c \texttt{)}</math>

|

<math>\begin{matrix}

Line 622: Line 620:

|-

| height="160px" | [[Image:Cactus (A,(B,C)) Big.jpg|90px]]

−

| <math>\texttt{(} a, \texttt{(} b, c \texttt{))}</math>

+

| <math>\texttt{(} a \texttt{,(} b \texttt{,} c \texttt{))}</math>

|

<math>\begin{matrix}

Line 645: Line 643:

|-

| height="160px" | [[Image:Cactus (X,(A),(B),(C)) Big.jpg|90px]]

−

| <math>\texttt{(} x, \texttt{(} a \texttt{),(} b \texttt{),(} c \texttt{))}</math>

+

| <math>\texttt{(} x \texttt{,} \texttt{(} a \texttt{),(} b \texttt{),(} c \texttt{))}</math>

|

<math>\begin{matrix}

Line 719: Line 717:

|-

| height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]]

−

| <math>\texttt{(} a, b \texttt{)}</math>

+

| <math>\texttt{(} a \texttt{,} b \texttt{)}</math>

| <math>a \neq b</math>

−

| <math>a = b\!</math>

+

| <math>a = b\!</math>

|-

| height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]]

−

| <math>\texttt{((} a, b \texttt{))}</math>

+

| <math>\texttt{((} a \texttt{,} b \texttt{))}</math>

−

| <math>a = b\!</math>

+

| <math>a = b\!</math>

| <math>a \neq b\!</math>

|-

| height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]]

−

| <math>\texttt{(} a, b, c \texttt{)}</math>

+

| <math>\texttt{(} a \texttt{,} b \texttt{,} c \texttt{)}</math>

|

<math>\begin{matrix}

Line 748: Line 746:

|-

| height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|65px]]

−

| <math>\texttt{((} a \texttt{)}, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math>

+

| <math>\texttt{((} a \texttt{),} \texttt{(} b \texttt{),} \texttt{(} c \texttt{))}</math>

|

<math>\begin{matrix}

Line 767: Line 765:

|-

| height="160px" | [[Image:Cactus ((A,B,C)) Big.jpg|65px]]

−

| <math>\texttt{((} a, b, c \texttt{))}</math>

+

| <math>\texttt{((} a \texttt{,} b \texttt{,} c \texttt{))}</math>

|

<math>\begin{matrix}

Line 786: Line 784:

|-

| height="200px" | [[Image:Cactus (((A),(B),(C))) Big.jpg|65px]]

−

| <math>\texttt{(((} a \texttt{)}, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{)))}</math>

+

| <math>\texttt{(((} a \texttt{),} \texttt{(} b \texttt{),} \texttt{(} c \texttt{)))}</math>

|

<math>\begin{matrix}

Line 805: Line 803:

|-

| height="160px" | [[Image:Cactus (A,(B),(C)) Big.jpg|65px]]

−

| <math>\texttt{(} a, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math>

+

| <math>\texttt{(} a \texttt{,} \texttt{(} b \texttt{),} \texttt{(} c \texttt{))}</math>

|

<math>\begin{matrix}

Line 815: Line 813:

|-

| height="200px" | [[Image:Cactus (((A),B,C)) Big.jpg|65px]]

−

| <math>\texttt{(((} a \texttt{)}, b, c \texttt{))}</math>

+

| <math>\texttt{(((} a \texttt{),} b \texttt{,} c \texttt{))}</math>

|  

Jon Awbrey

12,080

edits