Symbol: pushpull_width