chiark
/
gitweb
/
~ian
/
topbloke-formulae.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
e600e19
)
wip merge complex
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Tue, 6 Mar 2012 17:47:49 +0000
(17:47 +0000)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Tue, 6 Mar 2012 17:47:49 +0000
(17:47 +0000)
article.tex
patch
|
blob
|
history
diff --git
a/article.tex
b/article.tex
index 6a5023c3ceaf24813e16dfbe0d309a2a38e22178..714578dad5eba4bd461cb2db12c3c74abe3b3327 100644
(file)
--- a/
article.tex
+++ b/
article.tex
@@
-576,4
+576,10
@@
$C \haspatch \p \equiv C \nothaspatch M$.
\proofstarts
+Merge Ends applies.
+
+$D \isin Y \equiv D \le Y$. $D \not\isin X$.
+
+Consider $D = C$.
+
\end{document}