chiark
/
gitweb
/
~ian
/
topbloke-formulae.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
notation: strip word "merge" from \setmergeof etc.; use new definition of \commitmerg...
[topbloke-formulae.git]
/
notationtest.tex
1
%$$
2
C \has \mergeof{L}{M}{R}
3
$$ $$
4
C \alg{ is-merge } \mergeof{L}{M}{R}
5
$$ $$
6
C \alg{ ismerge } \mergeof{L}{M}{R}
7
$$ $$
8
C \sqsupset \setmergeof{L}{M}{R}
9
$$ $$
10
C \sqsupset \mergeof{L}{M}{R}
11
$$ $$
12
C \approx \mergeof{L}{M}{R}
13
$$ $$
14
C \sqsupseteqq \mergeof{L}{M}{R}
15
$$
16