[Om3] Symbol Definitions in the Description elements (that go into chapter4)

[Michael Kohlhase]

Dear all,

during my linalg CD studies I have found various places, where the
<Description> element of a symbol mentions how it is defined. e.g. for
vectorproduct. I am not sure, but I have the feeling that the K-14
description should not mention this. Is this also your intuition?

One thing to note in this case is that the <Description>  elements only
contains pure Unicode (i.e. no MathML or other markup), so that usually
the definitions are quite difficult to express.

Michael

-- 
----------------------------------------------------------------------
 Prof. Dr. Michael Kohlhase,       Office: Research 1, Room 62 
 Professor of Computer Science     Campus Ring 12, 
 School of Engineering & Science   D-28759 Bremen, Germany
 Jacobs University Bremen*         tel/fax: +49 421 200-3140/-493140
 m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase 
 skype: m.kohlhase   * International University Bremen until Feb. 2007
----------------------------------------------------------------------