Mathematical operators and symbols support #49
Comments
|
I'd like to add that fonts such as DejaVu Sans Mono or FreeMono already support a wide variety of such mathematical symbols, operators, and letters. |
|
I am planning on adding Greek at some point, but I had no plans to add these. I would definitely need some help creating all of these. |
|
Greek support will be excellent. Certainly, this is hard work. In any case, maybe it can be helpful to start by prioritizing some of these symbols according to how often they are used, so I'll try that: In this list http://archive.tlt.psu.edu/suggestions/international/bylanguage/mathchart.html#set I've often came across symbols in these categories:
|
|
Can you give Unicode ranges/code points for these? |
|
Yes. Thanks for asking that. It seems that the most common mathematical symbols are, unsurprisingly, There are some letter-like symbols, however, that fall outside that
|
|
Specifically for the Scala programming language, the rightwards double arrow (U+21D2 ⇒) is part of the language specification, so it would be awesome to have it. The leftwards single arrow (U+2190 ←) is already in the font and looks great! |
|
@jfim that’s easy, i’ll sneak that in there. |
|
Sweet, can't wait to get rid of the horrid fallback font arrows! :) |
|
@pauldhunt Hooray! Mono fonts always seem to have ←/→ but never ⇐/⇒. (Haskell uses ⇒ with the |
|
The Hasklig font has some arrows that could be checked-in upstream. |
|
The Powerline glyphs may be a good addition since there's an open request (#43). The other glyphs not so much because the set of arrows is very incomplete. |
|
Any progress on this? (Especially |
|
I am actively working on the next revision of the SCP fonts and plan to add these characters. the single arrow is already in the font, so you’re jus looking for the double stroked arrow and the proportion symbol (u+2237)? is that correct? |
|
If you wouldn't mind adding ∀ and ∃ too, that'd be even better. But at least a mono font with a non-ugly ⇒ would be great. (btw: Hasklig doesn't play nice with GUI vims because it lays out the characters on a grid.) |
|
I’ve gone and added u+21D2, u+2200, u+2203, u+2237 to the design masters and these will make it into the next version of the released upright fonts. |
|
Is there is any way to add Greek symbols like λ (lambda), θ (theta), σ (Sigma) and ι(iota). This would be of great help. |
|
@deepankarpathak You might want to watch #94. |
|
All the Greek letters (except for polytonic) will be in the upright fonts of the upcoming release.
|
|
+1 I use the julia repl and I cannot see certain symbols since they are not available to source code pro. Would love to use source code pro but certain math symbols are simply not there. |
|
@mmoh please list the Unicode values or enumerate the characters here for the missing characters so that I can get this into an upcoming release. |
|
The missing characters in the screenshot are:
If you do add these, may I request also ⊂ (U+2282) and the superset signs (U+2283,5,7,9)? |
|
Thanks @andy-morris here is also a larger list that would be useful to include: |
|
Are there any plans to add some more math symbols? The number of the most used ones is not that big:
Most of these symbols also seem to be pretty easy to draw. |
|
I am open to adding more mathematical symbols, but this is low on my priority list unless given some compelling reason to include them particular symbols. Because of the sheer number of symbols that are used in mathematics, it would be instructive to understand how useful particular definite sets would be. For example, the addition of u+2229 came about when I wanted to add support for a historical standard font scheme, the Windows Glyph List 4. Having clearly delimited sets like this with a clear intended purpose makes it easier to prioritize the addition of more mathematical symbols that otherwise seem very arbitrary. |
|
These symbols are used in base-unicode-symbols Haskell package as well as in ScalaZ, a popular library for the Scala programming language, so their addition would make it much less painful to view and edit the code written in these languages. (As was previously stated, Agda makes even more extensive use of Unicode, so these symbols are used in it as well) The following symbols provided by the UnicodeSyntax Haskell extension are lacking:
The following symbols used in Prelude.Unicode Haskell module are lacking:
The following symbols used in other modules of the same package are lacking:
Also, many of these characters are required for APL (issue #114).
|
|
The ≡ (U+2261) character from one of @loskutov's lists is needed by posh-git. Although this is in the 2.030R-ro/1.050R-it release. |
Modern markup languages such as MathML, or programming languages such as Agda, Haskell and Scala can make extensive use of the Greek alphabet and mathematical symbols. Users of these languages could benefit from Source Code Pro if these characters were supported. In particular Agda and MathML make the most extensive use of Unicode, by design.
Issue #48 already requests Greek alphabet support.
Here are some quite comprehensive list of mathematical symbols:
Here are some code snippets and blog posts making use of this feature:
The text was updated successfully, but these errors were encountered: