Symbol: erfc1