News for hackers. Stuff that matters.
Re:New features coming in Julia 1.7 by leephillips on Tuesday October 05, 2021 @10:15AM (#28759770)
We are in the age of Unicode. The LaTeX entry methods are options, not required. I rarely use them, and don’t paste in characters. I hit a modifier key. Typing a Greek letter is no more inconvenient than typing an uppercase letter.

There are no comments on this comment yet.