Show HN: MathLingua – A Structured Language of Mathematics

Re:Show HN: MathLingua – A Structured Language of Mathematics by triclops200 on Thursday December 02, 2021 @08:15PM (#29425433)

Awesome project: I love the fact that you can click grab definitions, would make learning new symbols in a field a breeze. Question, though: is there a way to add custom definitions to symbols when you work in a field that uses symbols differently than the standard usage or symbols that have no standard usage (such as \bigoplus in latex)?

[ Parent | on HN ]

Re:Show HN: MathLingua – A Structured Language of Mathematics by CatsAreCool on Thursday December 02, 2021 @09:38PM (#29426024)

Yes, you can. MathLingua makes no assumptions about what symbols are used to represent different math operations (other than KaTeX is used to render expressions and so you need to symbols KaTeX recognizes).

As such you can use whatever visual representation you want for operations and definitions.

For a particular math definition, you can also specify multiple different notations for the concept (in this case, MathLingua uses the first one when rendering results).

An example of this is the derivative of a function in the “A Detailed Example” section of the docs.

[ Parent | on HN ]

Re:Show HN: MathLingua – A Structured Language of Mathematics by triclops200 on Friday December 03, 2021 @09:36AM (#29430460)

Awesome! Sounds like a great system

[ Parent | on HN ]

Re:Show HN: MathLingua – A Structured Language of Mathematics by CatsAreCool on Thursday December 02, 2021 @09:40PM (#29426039)

I haven’t added a reverse lookup yet where you provide a symbol and can find all things that the symbol can represent, but it is on the roadmap.

[ Parent | on HN ]