if i+1 < n:
next_line = lines[i+1]
- # some entries are spread over two lines so we join the next line
+ # some entries are spread over two lines so we join the next line
# to the current one, (if current line contains a comment, we remove it)
line = string.split(line,'%')[0]+next_line
type = "mathord"
font = mo.group(2)
code = mo.group(3)
-
+
if mo != None and symbol not in ignore_list:
mo2 = re.match(r'\s*\\def\\(.*?)\{', next_line)
if mo2 != None and symbol == mo2.group(1)+"op":
if xsymbols.has_key(x[0]):
del xsymbols[x[0]]
+print """
+lyxbar cmsy 161 0 mathord
+lyxeq cmr 61 0 mathord
+lyxdabar msa 57 0 mathord
+lyxright msa 75 0 mathord
+lyxleft msa 76 0 mathord
+"""
+
for symbol in xsymbols.keys():
sys.stderr.write(symbol+"\n")