package com.extrc.utils;

public final class Symbols {

  public static String IMPLICATION() {
    return "=>";
  }

  public static String DISJUNCTION() {
    return "||";
  }

  public static String CONJUNCTION() {
    return "&&";
  }

  public static String EQUIVALENCE() {
    return "<=>";
  }

  public static String NEGATION() {
    return "!";
  }

  public static String DEFEASIBLE_IMPLICATION() {
    return "~>";
  }
}