support multiple designations per mathematical object

daviddoret / punctilious

A human-friendly and developer-friendly math proof assistant

https://github.com/daviddoret/punctilious

MIT License

2 stars 0 forks source link

support multiple designations per mathematical object #228

Closed daviddoret closed 9 months ago

daviddoret commented 1 year ago

There are alternative symbols for many mathematical objects, eg logical implication and logical negation. Enhance the base object python classes to support multiple alternative designations.