Some of these ideas are implemented in fonts like Fira Code <a href="https:&#x2F;&#x2F;github.com&#x2F;tonsky&#x2F;FiraCode&#x2F;" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;tonsky&#x2F;FiraCode&#x2F;</a> and Hasklig <a href="https:&#x2F;&#x2F;github.com&#x2F;i-tu&#x2F;Hasklig" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;i-tu&#x2F;Hasklig</a> e.g. typing =&gt; gives ⇒<p>Both should be well known to HN readers.