src/Pure/Thy/html.ML
changeset 14565 c6dc17aab88a
parent 14558 726f6761c562
child 14571 b88d5f9e02e1
     1.1 --- a/src/Pure/Thy/html.ML	Wed Apr 14 13:28:46 2004 +0200
     1.2 +++ b/src/Pure/Thy/html.ML	Wed Apr 14 14:13:05 2004 +0200
     1.3 @@ -156,8 +156,8 @@
     1.4       | "\\<nabla>" => (1.0, "&nabla;")
     1.5       | "\\<in>" => (1.0, "&isin;")
     1.6       | "\\<notin>" => (1.0, "&notin;")
     1.7 -     | "\\<prod>" => (1.0, "&prod;")
     1.8 -     | "\\<sum>" => (1.0, "&sum;")
     1.9 +     | "\\<Prod>" => (1.0, "&prod;")
    1.10 +     | "\\<Sum>" => (1.0, "&sum;")
    1.11       | "\\<star>" => (1.0, "&lowast;")
    1.12       | "\\<propto>" => (1.0, "&prop;")
    1.13       | "\\<infinity>" => (1.0, "&infin;")