Alias erfc

alias erfc ;