Symbol: zprop_width