[LyX/master] Fix HTML output of \gg and \ll

[Georg Baum]

commit 1be6f5961236d28a5308d200f9ba5585632962b9
Author: Georg Baum <b...@lyx.org>
Date:   Sun Dec 28 18:54:19 2014 +0100

    Fix HTML output of \gg and \ll
    
    This is a part of bug #9372. The remaining part (\ne) is not easy to fix,
    since \ne is a predefined macro internally, so the HTML output is done for
    the expanded macro, and we have no machinery to assign a HTML output to a
    complete macro.

diff --git a/lib/symbols b/lib/symbols
index 29d1a75..b76d3bd 100644
--- a/lib/symbols
+++ b/lib/symbols
@@ -289,7 +289,7 @@ diamondsuit        cmsy        125 168 mathord  &#x2662;
 heartsuit          cmsy        126 169 mathord  &#x2661;
 spadesuit          cmsy        127 170 mathord  &spades;
 # We define lyxnot as mathrel in order to have proper alignment
-lyxnot             cmsy         54  47 mathrel  &ssetmn;
+lyxnot             cmsy         54  47 mathrel  /
 iffont cmsy
 # 9mu = 0.5em which is the extra space added to relation operators
 \def\not{\lyxnot\kern-9mu}
@@ -375,8 +375,8 @@ subseteq           cmsy        181 205 mathrel  &sube;
 in                 cmsy         50 206 mathrel  &isin;
 ni                 cmsy         51  39 mathrel  &ni;
 owns               cmsy         51  39 mathrel  &ni;
-gg                 cmsy        192   0 mathrel  &gt;
-ll                 cmsy        191   0 mathrel  &lt;
+gg                 cmsy        192   0 mathrel  &gg;
+ll                 cmsy        191   0 mathrel  &ll;
 leftrightarrow     cmsy         36 171 mathrel  &harr;
 leftarrow          cmsy        195 172 mathrel  &larr;
 gets               cmsy        195 172 mathrel  &larr;