int main(){
    double α = 2.; // alpha, ok!
    double ∞ = 99999.; // infinity, error
}

error: non-ASCII characters are not allowed outside of literals and identifiers
        double ∞ = 99999.;