package com.naveensundarg.shadow.prover.utils;

/**
 * Created by naveensundarg on 7/17/17.
 */
public class Constants {

    public static final String VDASH = "\u22A2";
    public static final String PHI = "\u03D5";
    public static final String NEC = "\u25FB";

}
