Re: [open-axiom-devel] axiom.sty

[Ralf H. <ra...@he...>]

> | reason is simply that it is not very clear, what it actually means. LaTeX is
> | about tagging and I think it would be wiser to avoid [[...]] and rather
> | introduce certain LaTeX commands that better tag the meaning of "blah". For
> | example I use \adtype{SetSpecies} and \adname[SetSpecies]{structures} to print
> | (hyperlinked) "SetSpecies" and "structures". 
> 
> That is close to the syntax used for hyerpdoc on in the documentation of
> algebra files, so I would support reusing that syntax or extending it
> to support hyperlinks.

Hmm, I have to look more closely into the hypertex syntax. As far as I 
know hypertex, it is very much like TeX and undocumented. To be honest, 
I would rather like to move the hypertex syntax into a more LaTeX 
looking syntax and clean-up there a bit as well. But I am not so sure 
whether I am so much in favour of HyperDoc. It's functionality is OK, 
but it looks old. I would rather aim at something that will run in a web 
browser. Unfortunately, all my abilities are currently to produce only 
static pages. But maybe that is not so important if I just propose some 
LaTeX-like syntax to achieve the functionality.

Ralf