| Summary: | Missing codepoints U+22C0 and U+22C1 in DejaVu Sans Mono | ||
|---|---|---|---|
| Product: | DejaVu | Reporter: | Andrés Sicard-Ramírez <asr> |
| Component: | Mono Sans | Assignee: | Deja Vu bugs <dejavu-bugs> |
| Status: | NEW --- | QA Contact: | |
| Severity: | normal | ||
| Priority: | medium | CC: | asr |
| Version: | unspecified | ||
| Hardware: | Other | ||
| OS: | All | ||
| Whiteboard: | |||
| i915 platform: | i915 features: | ||
|
Description
Andrés Sicard-Ramírez
2014-03-19 21:20:31 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). 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.