IElementType () { IElementType type = super.getTokenType(); if (type == PyTokenTypes.BAD_CHARACTER && PythonConsoleLexer.isSpecialSymbols(getTokenText())) { type = PythonConsoleLexer.getElementType(getTokenText()); } return type; }