Bug 76373

Summary: Missing codepoints U+22C0 and U+22C1 in DejaVu Sans Mono
Product: DejaVu Reporter: Andrés Sicard-Ramírez <asr>
Component: Mono SansAssignee: Deja Vu bugs <dejavu-bugs>
Status: NEW --- QA Contact:
Severity: normal    
Priority: medium CC: asr
Version: unspecified   
Hardware: Other   
OS: All   
i915 platform: i915 features:

Description Andrés Sicard-Ramírez 2014-03-19 21:20:31 UTC
What the summary says.
Comment 1 Andrés Sicard-Ramírez 2016-04-29 12:21:43 UTC
These codepoints are required when writing programs in Agda.

The codepoint are missing in the master repository (commit  https://github.com/dejavu-fonts/dejavu-fonts/commit/8faf254fa4d74194641494ecc3f1404078269e9d).
Comment 2 drekin 2016-09-02 10:07:00 UTC
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 ∨).

Use of freedesktop.org services, including Bugzilla, is subject to our Code of Conduct. How we collect and use information is described in our Privacy Policy.