Code ligatures to add #305
Description
Must do
<!--
DONE (Click to expand)
The opening HTML comment should be unified.
DONE (Click to expand)
See #296
put /f.mono in f_quotesingle.code rather than normal /f
Maybe do
Triple symbols
The middle of tripled symbols could be raised:
Wavy arrows?
Wavy arrows seem to be in other code ligature sets. What languages use them? Should they be added here?
Remove bracket ligatures?
Simplified "controversial" ligatures?
It may be possible to add a stylistic set to allow simplified versions of some "controversial" ligatures, such as <= and >=. Should I?