Fix typos in Python scripts

development/tools/generate_symbols_list.py

@@ -44,7 +44,7 @@ def process(file):
     n = len(lines)
     for i in range(n):
         line = lines[i]
-        mo =  re.match(r'\s*%.*', line)
+        mo = re.match(r'\s*%.*', line)
         if mo != None:
             continue
         next_line = ""

development/tools/unicodesymbols.py

@@ -1,7 +1,7 @@
 #! /usr/bin/python3
 # -*- coding: utf-8 -*-
 
-# file unciodesymbols.py
+# file unicodesymbols.py
 # This file is part of LyX, the document processor.
 # Licence details can be found in the file COPYING.
 
@@ -16,6 +16,7 @@ from __future__ import print_function
 import os, re, string, sys, unicodedata
 import io
 
+
 def usage(prog_name):
     return ("Usage: %s start stop inputfile outputfile\n" % prog_name +
             "or     %s start stop <inputfile >outputfile" % prog_name)