Lars Hellström wrote: (24/02/14 16:44)
[...]
One resource I've found useful is the "Index of all symbols"
(http://www.openmath.org/cdindex.html). Searching in this page has a
good chance of turning up something relevant, even if it's in a content
dictionary you didn't expect.
Yes, indeed!
That's what I did back in the day; had that page open all the time.
Cheers,
--
Alberto González Palomo
Toledo, España / Saarbrücken, Deutschland
http://www.matracas.org
_______________________________________________
Om mailing list
Om@openmath.org
http://openmath.org/mailman/listinfo/om
