This release adds several improvements, mostly for code.
Adds new ligatures
Adds new code ligatures for the following:
<> <=> <<= >>= |= !~ =~ |> /= <|> <| <*>
<* <$> <+> =<< -< >- -<< >>- <<- <<~
Makes less/greater symbols more vertically symmetrical for better vertical alignment
Also brings these improvements along to less/greater-based code ligatures, like =>.
Update: still needs a few adjustments to fully close #297 (some open/closing punctuation is slightly misaligned on Windows). This will be fixed in the next release.
Improves ampersand ligatures
The ligatures for && and &&& now have better interior spacing along the bottom “connections.” Closes #276.
Wavier ASCII tilde
The ~ is now wavier, to more clearly be disambiguated from - and –, etc. The combining tilde on characters like ñ remains unchanged. Closes #301.
Fixed ∏
The product character, ∏, was previous only cap-height. It has been adjusted to descend past the baseline, as it should. Closes #410.