12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0 (view source)
Revision as of 13:10, 1 June 2009
, 13:10, 1 June 2009→Appendix A: alignment
|
|
<math>\begin{matrix}
<math>\begin{matrix}
~(x~~y)~
(~x~~y~)
\\[4pt]
\\[4pt]
~(x~(y))
(~x~(y))
\\[4pt]
\\[4pt]
((x)~y)~
((x)~y~)
\\[4pt]
\\[4pt]
((x)(y))
((x)(y))
((x)(y))
((x)(y))
\\[4pt]
\\[4pt]
((x)~y)~
((x)~y~)
\\[4pt]
\\[4pt]
~(x~(y))
(~x~(y))
\\[4pt]
\\[4pt]
~(x~~y)~
(~x~~y~)
\end{matrix}</math>
\end{matrix}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
((x)~y)~
((x)~y~)
\\[4pt]
\\[4pt]
((x)(y))
((x)(y))
\\[4pt]
\\[4pt]
~(x~~y)~
(~x~~y~)
\\[4pt]
\\[4pt]
~(x~(y))
(~x~(y))
\end{matrix}</math>
\end{matrix}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
~(x~(y))
(~x~(y))
\\[4pt]
\\[4pt]
~(x~~y)~
(~x~~y~)
\\[4pt]
\\[4pt]
((x)(y))
((x)(y))
\\[4pt]
\\[4pt]
((x)~y)~
((x)~y~)
\end{matrix}</math>
\end{matrix}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
~(x~~y)~
(~x~~y~)
\\[4pt]
\\[4pt]
~(x~(y))
(~x~(y))
\\[4pt]
\\[4pt]
((x)~y)~
((x)~y~)
\\[4pt]
\\[4pt]
((x)(y))
((x)(y))