def Char(c):
 if (len(c) == 1):
  result = CodeRange(ord(c), (ord(c) + 1))
 else:
  result = SpecialSymbol(c)
 result.str = ('Char(%s)' % repr(c))
 return result

def Char ( c ) : if ( len ( c ) == 1 ) : result = CodeRange ( ord ( c ) , ( ord ( c ) + 1 ) ) else : result = SpecialSymbol ( c ) result . str = ( 'Char(%s)' % repr ( c ) ) return result
char(c) is an re which matches the character |c| .