chiark / gitweb /
notation: strip word "merge" from \setmergeof etc.; use new definition of \commitmerg...
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 16:58:04 +0000 (17:58 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 16:58:04 +0000 (17:58 +0100)
article.tex
notationtest.tex [new file with mode: 0644]

index 2253d43..5df0d91 100644 (file)
 \newcommand{\pancsof}[2]{\pancs ( #1 , #2 ) }
 \newcommand{\pendsof}[2]{\pends ( #1 , #2 ) }
 
-\newcommand{\commitmerge}{{\mathcal M}}
-\newcommand{\commitmergeof}[4]{\commitmerge(#1,#2,#3,#4)}
+%\newcommand{\commitmerge}{\text{\commitmergename}}
+\newcommand{\commitmergeof}[4]{#1 \approx \stmtmergeof{#2}{#3}{#4}}
 %\newcommand{\merge}[4]{{#2 {{\frac{ #1 }{ #3 } #4}}}}
-\newcommand{\commitmergename}{${\mathcal M}$}
+\newcommand{\commitmergename}{Git Merge}
 
 \newcommand{\patch}{{\mathcal P}}
 \newcommand{\base}{{\mathcal B}}
 \newcommand{\mergeof}[3]{\left\langle #1 \;\middle\langle #2 \middle\rangle\; #3 \right\rangle}
 
 \newcommand{\alg}[1]{\text{\bf #1}}
-\newcommand{\setmerge}{\alg{merge}}
-\newcommand{\setmergeof}[3]{\setmerge\mergeof{#1}{#2}{#3}}
-\newcommand{\stmtmergeof}[3]{\setmerge\mergeof{#1}{#2}{#3}}
+\newcommand{\setmerge}{\mergeof{}{}{}}
+\newcommand{\setmergeof}[3]{\mergeof{#1}{#2}{#3}}
+\newcommand{\stmtmergeof}[3]{\mergeof{#1}{#2}{#3}}
 
 %\newcommand{\setmergeof}[3]{\setmerge\left\lgroup #1 \;\middle\lmoustache\; #2 \;\middle\rmoustache\; #3 \right\rgroup}
 %\newcommand{\setmergeof}[3]{\setmerge\left\rmoustache #1 \middle\rmoustache #2 \middle\lmoustache #3 \right\lmoustache}
diff --git a/notationtest.tex b/notationtest.tex
new file mode 100644 (file)
index 0000000..aaf948a
--- /dev/null
@@ -0,0 +1,16 @@
+%$$
+ C \has \mergeof{L}{M}{R}
+$$ $$
+ C \alg{ is-merge } \mergeof{L}{M}{R}
+$$ $$
+ C \alg{ ismerge } \mergeof{L}{M}{R}
+$$ $$
+ C \sqsupset \setmergeof{L}{M}{R}
+$$ $$
+ C \sqsupset \mergeof{L}{M}{R}
+$$ $$
+ C \approx \mergeof{L}{M}{R}
+$$ $$
+ C \sqsupseteqq \mergeof{L}{M}{R}
+$$
+