package wprover;

/**
 * Created by IntelliJ IDEA.
 * User: ye
 * Date: 2008-6-4
 * Time: 12:55:32
 * To change this template use File | Settings | File Templates.
 */
public class AllStr {
    final public static String S_CIR = "∆";
}
 