Different symbol for nothing to push