transition symbols can be specified