Added ltl operator + operands highlighting