//binary relation symbols
  {input:"!=",  tag:"mo", output:"\u2260", tex:"ne", ttype:CONST},
  {input:":=",  tag:"mo", output:":=",     tex:null, ttype:CONST},
  {input:"lt",  tag:"mo", output:"<",      tex:null, ttype:CONST},
  {input:"<=",  tag:"mo", output:"\u2264", tex:"le", ttype:CONST},
  {input:"lt=", tag:"mo", output:"\u2264", tex:"leq", ttype:CONST},
  {input:">=",  tag:"mo", output:"\u2265", tex:"ge", ttype:CONST},
  {input:"geq", tag:"mo", output:"\u2265", tex:null, ttype:CONST},
  {input:"-<",  tag:"mo", output:"\u227A", tex:"prec", ttype:CONST},
  {input:"-lt", tag:"mo", output:"\u227A", tex:null, ttype:CONST},
  {input:">-",  tag:"mo", output:"\u227B", tex:"succ", ttype:CONST},
  {input:"-<=", tag:"mo", output:"\u2AAF", tex:"preceq", ttype:CONST},
  {input:">-=", tag:"mo", output:"\u2AB0", tex:"succeq", ttype:CONST},
  {input:"in",  tag:"mo", output:"\u2208", tex:null, ttype:CONST},
  {input:"!in", tag:"mo", output:"\u2209", tex:"notin", ttype:CONST},
  {input:"sub", tag:"mo", output:"\u2282", tex:"subset", ttype:CONST},
  {input:"sup", tag:"mo", output:"\u2283", tex:"supset", ttype:CONST},
  {input:"sube", tag:"mo", output:"\u2286", tex:"subseteq", ttype:CONST},
  {input:"supe", tag:"mo", output:"\u2287", tex:"supseteq", ttype:CONST},
  {input:"-=",  tag:"mo", output:"\u2261", tex:"equiv", ttype:CONST},
  {input:"~=",  tag:"mo", output:"\u2245", tex:"cong", ttype:CONST},
  {input:"~~",  tag:"mo", output:"\u2248", tex:"approx", ttype:CONST},
  {input:"prop", tag:"mo", output:"\u221D", tex:"propto", ttype:CONST},