libera/#sicl - IRC Chatlog
Search
14:22:39
scymtym
beach: have you thought about representing mathematical concepts in doclang (the general topic came up in #clim)? we probably want a representation that is based on the semantics rather than the typesetting. however, i'm not sure how that would work short of adding every relevant mathematical concept to the language
14:23:07
scymtym
could libraries with extensions for particular domains or even per-document extensions be a solution?
14:27:32
beach
I also see no other solution than to add all relevant concepts. But it is definitely possible to define an entire sub-hierarchy in a separate module.
14:28:16
beach
Sure, it could even be per document, but I think it would be better to try to define as much as possible.
14:28:55
beach
The difficulty with math is the layout rather than the semantics I think. So the classes needed for the semantics would be numerous but straightforward.
14:34:38
scymtym
no, just thinking about it. for the dpans converter, i covered the required math (which is not too much) in a less systematic way by keeping certain tex macros unexpanded and processing them in the "rendering" step. but that approach is not ideal, of course