Use symbol for transitions