gapt.formats.llk.UnicodeToLatex.scala Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of gapt_3 Show documentation
General Architecture for Proof Theory
The newest version!
package gapt.formats.llk

/**
 * UnicodeToLatex contains a table of greek unicode symbols and their LaTeX equivalents.
 */
object UnicodeToLatex {
  def apply(name: String) = nameToLatexString(name)
  // Add more unicode symbols if necessary
  def nameToLatexString(name: String) = name match {
    case "~"  => """ \sim """
    case "∈"  => """ \in """
    case "ν"  => """ \nu """
    case "⊆"  => """ \subseteq """
    case "∪"  => """ \cup """
    case "∩"  => """ \cap """
    case "≤"  => """ \leq """
    case "<=" => """ \leq """
    case ">=" => """ \geq """
    case "Α"  => """ A """
    case "Β"  => """ B """
    case "Γ"  => """ \Gamma """
    case "Δ"  => """ \Delta """
    case "Ε"  => """ E """
    case "Ζ"  => """ Z """
    case "Η"  => """ H """
    case "Θ"  => """ \Theta """
    case "Ι"  => """ I """
    case "Κ"  => """ K """
    case "Λ"  => """ \Lambda """
    case "Μ"  => """ M """
    case "Ν"  => """ N """
    case "Ξ"  => """ \Xi """
    case "Ο"  => """ O """
    case "Π"  => """ \Pi """
    case "Ρ"  => """ \Rho """
    case "Σ"  => """ \Sigma """
    case "Τ"  => """ T """
    case "Υ"  => """ \Upsilon """
    case "Φ"  => """ \Phi """
    case "Χ"  => """ \Chi """
    case "Ψ"  => """ \Psi """
    case "Ω"  => """ \Omega """
    case "α"  => """ \alpha """
    case "β"  => """ \beta """
    case "γ"  => """ \gamma """
    case "δ"  => """ \delta """
    case "ε"  => """ \epsilon """
    case "ζ"  => """ \zeta """
    case "η"  => """ \eta """
    case "θ"  => """ \theta """
    case "ι"  => """ i """
    case "κ"  => """ \kappa """
    case "λ"  => """ \lambda """
    case "μ"  => """ \mu """
    case "ξ"  => """ \xi """
    case "ο"  => """ o """
    case "π"  => """ \pi """
    case "ρ"  => """ \rho """
    //    case "ς" => """\sigma"""
    case "σ" => """ \sigma """
    case "τ" => """ \tau """
    case "υ" => " \\upsilon "
    case "φ" => """ \varphi """
    case "χ" => """ \chi """
    case "ψ" => """ \psi """
    case "ω" => """ \omega """
    case "⊥" => """ \bot """
    case "⊤" => """ \top """
    case _ => // if (!name.matches("""[\w]*|[+]|[=]|[*]|[<]|[>]""")) println(name)
      name
  }

}