<html>
<head>
<base href="https://bugs.freedesktop.org/">
</head>
<body>
<p>
<div>
<b><a class="bz_bug_link
bz_status_NEW "
title="NEW - Missing codepoints U+22C0 and U+22C1 in DejaVu Sans Mono"
href="https://bugs.freedesktop.org/show_bug.cgi?id=76373#c2">Comment # 2</a>
on <a class="bz_bug_link
bz_status_NEW "
title="NEW - Missing codepoints U+22C0 and U+22C1 in DejaVu Sans Mono"
href="https://bugs.freedesktop.org/show_bug.cgi?id=76373">bug 76373</a>
from <span class="vcard"><a class="email" href="mailto:drekin@gmail.com" title="drekin@gmail.com">drekin@gmail.com</a>
</span></b>
<pre>I'd also like to see these characters in Mono. Recently, 22C2 ⋂ and 22C3 ⋃ were
added. These are big unary variants of set operations of intersection and union
(2229 ∩ and 222A ∪). Similarly, 22C0 ⋀ and 22C1 ⋁ are big unary variants of
general lattice operations of meet and join (2227 ∧, 2228 ∨).</pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are the assignee for the bug.</li>
</ul>
</body>
</html>