It isn't set up for that but if you want to add a few that's fine.
Robby
On Tuesday, July 14, 2015, Prabhakar Ragde wrote:
> Is there a simple way to extend the list of these and/or provide synonyms?
> (DrRacket documentation, section 3.3.8.) I would like to, for example, be
> able to type \and
Is there a simple way to extend the list of these and/or provide
synonyms? (DrRacket documentation, section 3.3.8.) I would like to, for
example, be able to type \and, or at least \land, rather than \wedge.
Thanks. --PR
--
You received this message because you are subscribed to the Google Grou
2 matches
Mail list logo