on test_05d_comparator_symbol