chiark / gitweb /
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