Changes

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

Revision as of 03:08, 5 July 2009

80 bytes added , 03:08, 5 July 2009

→‎Original Version: fix fonts

Line 88: Line 88:

|-

| 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 101: Line 101:

|-

| 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 114: Line 114:

|-

| 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 125: Line 125:

|-

| 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{),(} b \texttt{),(} c \texttt{))}</math>

|

<math>\begin{matrix}

Line 136: Line 136:

|-

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

−

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

+

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

|

<math>\begin{matrix}

Line 217: Line 217:

|-

| 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 230: Line 230:

|-

| 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 243: Line 243:

|-

| 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 254: Line 254:

|-

| 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 265: Line 265:

|-

| 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>

|

<math>\begin{matrix}

Jon Awbrey

12,080

edits