package circusRefine.gui.util;
  
  public interface UnicodeCharacterCodeUtils {
  
  	public static String heavyCheckedMark = "\u2714";
  	public static String CheckedMark = "\u2713";
  }