Removed specific cases: input and output symbols are always shown unless both are epsilon