chiark
/
gitweb
/
~ian
/
topbloke-formulae.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
aaf948ac087dce9ef8d55b30ae50592c16309e7d
[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