public static Zsymbol symbol(String n) {
        String u = n.intern();
        Zsymbol s = dict.get(u);
        if (s == null) {
            s = new Zsymbol(u);
            dict.put(u, s);
        }
        return s;
    }