Symbol: aproppair2saprop