Open phistoh opened 2 years ago
A nice addition—which would be in spirit of the "default" arrow substitution (i.e. -> becomes →)—would be the inclusion of implication arrows (i.e. => becomes ⇒ and <= becomes ⇐).
->
→
=>
⇒
<=
⇐
A nice addition—which would be in spirit of the "default" arrow substitution (i.e.
->becomes→)—would be the inclusion of implication arrows (i.e.=>becomes⇒and<=becomes⇐).