Started implementing enlargement of not equals sign, see #112.