Bug 76373 - Missing codepoints U+22C0 and U+22C1 in DejaVu Sans Mono
Summary: Missing codepoints U+22C0 and U+22C1 in DejaVu Sans Mono
Status: NEW
Alias: None
Product: DejaVu
Classification: Unclassified
Component: Mono Sans (show other bugs)
Version: unspecified
Hardware: Other All
: medium normal
Assignee: Deja Vu bugs
QA Contact:
Depends on:
Reported: 2014-03-19 21:20 UTC by Andrés Sicard-Ramírez
Modified: 2016-09-02 10:07 UTC (History)
1 user (show)

See Also:
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.