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:
1760af5
)
try leqno
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Thu, 1 Mar 2012 00:28:46 +0000
(
00:28
+0000)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Thu, 1 Mar 2012 00:28:46 +0000
(
00:28
+0000)
article.tex
patch
|
blob
|
history
diff --git
a/article.tex
b/article.tex
index 183744fb3acc1b2c6cc36efa9508ce67e3b8b346..d9689c228d88ea26770ab65d88d85f4b192a9c9d 100644
(file)
--- a/
article.tex
+++ b/
article.tex
@@
-1,4
+1,4
@@
-\documentclass[a4paper]{strayman}
+\documentclass[a4paper
,leqno
]{strayman}
\let\numberwithin=\notdef
\usepackage{mathabx}
\usepackage{stmaryrd}
@@
-78,7
+78,7
@@
All these sets are distinct.
\section{Invariants}
-No replay: \[ C \has D \implies C \ge D \]
+$$ C \has D \implies C \ge D \eqno{No replay} $$
Unique base: \[ \mathop{\forall}_{C \in \py} \pends{C}{\pn} = \{ B \} \]