hwp_script_to_latex 1.0.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA1:
+  metadata.gz: 03259e525390371a1ea032d34ab803e21a8e9733
+  data.tar.gz: 4f2cf97b722e1b7045e0b24e7e1d3e175b87d89d
+SHA512:
+  metadata.gz: 69f4c3a3037f9fcf45c2e39b07eeae16c9b82e71355381ab9dba22760d1097b3b9f320d5aad7e45daeae0e932971be80e3392171cca58c38cce785c3dc138d74
+  data.tar.gz: 06ff3028b4daefe1af7e3a5f668bea455d28ccf0dbc238fd048f955db551ae6a36eeed9dbfe5537647dbe85b1bab38ffb949c0b2ef71891268a27ee7644363da

data/.gitignore

@@ -0,0 +1,10 @@
+/.bundle/
+/.yardoc
+/Gemfile.lock
+/_yardoc/
+/coverage/
+/doc/
+/pkg/
+/spec/reports/
+/tmp/
+*.gem

data/.rspec

@@ -0,0 +1,3 @@
+--format documentation
+--color
+--require spec_helper

data/.travis.yml

@@ -0,0 +1,5 @@
+sudo: false
+language: ruby
+rvm:
+  - 2.2.3
+before_install: gem install bundler -v 1.12.5

data/Gemfile

@@ -0,0 +1,4 @@
+source 'https://rubygems.org'
+
+# Specify your gem's dependencies in hwp_script_to_latex.gemspec
+gemspec

data/LICENSE.txt

@@ -0,0 +1,21 @@
+The MIT License (MIT)
+
+Copyright (c) 2018 bluesh55
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.

data/README.md

@@ -0,0 +1,41 @@
+# HwpScriptToLatex
+
+Welcome to your new gem! In this directory, you'll find the files you need to be able to package up your Ruby library into a gem. Put your Ruby code in the file `lib/hwp_script_to_latex`. To experiment with that code, run `bin/console` for an interactive prompt.
+
+TODO: Delete this and the text above, and describe your gem
+
+## Installation
+
+Add this line to your application's Gemfile:
+
+```ruby
+gem 'hwp_script_to_latex'
+```
+
+And then execute:
+
+    $ bundle
+
+Or install it yourself as:
+
+    $ gem install hwp_script_to_latex
+
+## Usage
+
+TODO: Write usage instructions here
+
+## Development
+
+After checking out the repo, run `bin/setup` to install dependencies. Then, run `rake spec` to run the tests. You can also run `bin/console` for an interactive prompt that will allow you to experiment.
+
+To install this gem onto your local machine, run `bundle exec rake install`. To release a new version, update the version number in `version.rb`, and then run `bundle exec rake release`, which will create a git tag for the version, push git commits and tags, and push the `.gem` file to [rubygems.org](https://rubygems.org).
+
+## Contributing
+
+Bug reports and pull requests are welcome on GitHub at https://github.com/[USERNAME]/hwp_script_to_latex.
+
+
+## License
+
+The gem is available as open source under the terms of the [MIT License](http://opensource.org/licenses/MIT).
+

data/Rakefile

@@ -0,0 +1,6 @@
+require "bundler/gem_tasks"
+require "rspec/core/rake_task"
+
+RSpec::Core::RakeTask.new(:spec)
+
+task :default => :spec

data/bin/console

@@ -0,0 +1,14 @@
+#!/usr/bin/env ruby
+
+require "bundler/setup"
+require "hwp_script_to_latex"
+
+# You can add fixtures and/or initialization code here to make experimenting
+# with your gem easier. You can also use a different console, if you like.
+
+# (If you use this, don't forget to add pry to your Gemfile!)
+# require "pry"
+# Pry.start
+
+require "irb"
+IRB.start

data/bin/setup

@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+set -euo pipefail
+IFS=$'\n\t'
+set -vx
+
+bundle install
+
+# Do any other automated setup that you need to do here

data/exe/hwp_script_to_latex

@@ -0,0 +1,52 @@
+#!/usr/bin/env ruby
+## 한글 수식 문법으로 작성된 스크립트를 LaTeX 문법으로 변환해줍니다.
+
+require 'optparse'
+require 'hwp_script_to_latex/converter'
+
+def print_converted_latex(script, latex, math_mode: false, inspect: false)
+  if inspect
+    puts("[HWP Script] \"#{script}\"")
+    puts("Converted To")
+    puts("[LaTeX] \"#{latex}\"")
+    puts("With following options")
+    puts("\tMath mode - #{math_mode}")
+  else
+    puts latex
+  end
+end
+
+options = {
+  math_mode: false,
+  inspect: false
+}
+
+optparser = OptionParser.new do |opt|
+  opt.banner = 'Usage: hml_to_note [options]'
+
+  opt.on('-s', '--script [HWP SCRIPT]', String, 'Script written in hwp syntax.') do |script|
+    options[:script] = script
+  end
+
+  opt.on('-m', '--mathmode', 'Insert `$` character to start and end of output. Default is `false`') do |math_mode|
+    options[:math_mode] = math_mode
+  end
+
+  opt.on('-i', '--inspect', 'Print output with inspection. Default is `false`') do |inspect|
+    options[:inspect] = inspect
+  end
+end
+optparser.parse!
+
+if options[:script].nil?
+  abort(optparser.help)
+end
+
+
+latex = HwpScriptToLatex::Converter.new.convert(options[:script], math_mode: options[:math_mode])
+print_converted_latex(
+  options[:script],
+  latex,
+  math_mode: options[:math_mode],
+  inspect: options[:inspect]
+)

data/hwp_script_to_latex.gemspec

@@ -0,0 +1,32 @@
+# coding: utf-8
+lib = File.expand_path('../lib', __FILE__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+require 'hwp_script_to_latex/version'
+
+Gem::Specification.new do |spec|
+  spec.name          = "hwp_script_to_latex"
+  spec.version       = HwpScriptToLatex::VERSION
+  spec.authors       = ["bluesh55"]
+  spec.email         = ["bluesh55@naver.com"]
+
+  spec.summary       = %q{Convert hwp script to latex}
+  spec.homepage      = "https://github.com/PrivateCoach/hwp_script_to_latex"
+  spec.license       = "MIT"
+
+  # Prevent pushing this gem to RubyGems.org. To allow pushes either set the 'allowed_push_host'
+  # to allow pushing to a single host or delete this section to allow pushing to any host.
+  if spec.respond_to?(:metadata)
+    spec.metadata['allowed_push_host'] = "https://rubygems.org"
+  else
+    raise "RubyGems 2.0 or newer is required to protect against public gem pushes."
+  end
+
+  spec.files         = `git ls-files -z`.split("\x0").reject { |f| f.match(%r{^(test|spec|features)/}) }
+  spec.bindir        = "exe"
+  spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
+  spec.require_paths = ["lib"]
+
+  spec.add_development_dependency "bundler", "~> 1.12"
+  spec.add_development_dependency "rake", "~> 10.0"
+  spec.add_development_dependency "rspec", "~> 3.0"
+end

data/lib/hwp_script_to_latex.rb

@@ -0,0 +1,4 @@
+require "hwp_script_to_latex/version"
+
+module HwpScriptToLatex
+end

data/lib/hwp_script_to_latex/converter.rb

@@ -0,0 +1,58 @@
+require 'json'
+require 'hwp_script_to_latex/replacement_rule'
+
+module HwpScriptToLatex
+  class Converter
+    # 한글 수식스크립트를 LaTeX 문법으로 변환
+
+    def convert(script, math_mode: false)
+      latex = script
+
+      # Step 1. 단순치환
+      replacement_rules.each do |rule|
+        full_match1 = latex.match(/(?<!\\)([^\\\s]*)(#{rule.regex_str})/).to_s
+        full_match2 = latex.match(/([^\\\s]*)(#{rule.regex_str})/).to_s
+
+        # 두 match가 같은 문자열이어야 치환
+        # ex) \theta는 eta로 치환하지 않아야 할 때
+        # full_match1 == 'heta'
+        # full_match2 == 'theta'
+        # 두 개가 같지 않으므로 치환하지 않는다.
+        if full_match1 == full_match2
+          latex = latex.gsub(rule.regex, rule.latex)
+        end
+
+      end
+
+      # Step 2. 분수 변환
+      #
+      # Parentheses fraction만 가능
+      # ex) {1} over {2}
+      # while문으로 nested fraction처리
+      # ex) {{1} over {2}} over {3}
+      frac_regex = /({(?>[^{}]+|(?:\g<1>))*})\s*over\s*({(?>[^{}]+|(?:\g<2>))*})/i
+      while latex.match(frac_regex)
+        latex = latex.gsub(frac_regex, ' \frac \1\2 ')
+      end
+
+      if math_mode
+        return "$#{latex}$"
+      end
+
+      return latex
+    end
+
+    private
+
+    def replacement_rules
+      return @rules if @rules
+
+      f = File.open(File.join(File.dirname(__FILE__), '..', '..', 'rules.json'), 'r')
+      file_content = f.read
+      f.close
+
+      arr = JSON.parse(file_content).sort_by { |hash| -1 * hash['regex'].inspect.length }
+      @rules = arr.map { |json| ReplacementRule.new(json['regex'], json['latex'], json['ignorecase']) }
+    end
+  end
+end

data/lib/hwp_script_to_latex/replacement_rule.rb

@@ -0,0 +1,21 @@
+module HwpScriptToLatex
+  class ReplacementRule
+    attr_reader :regex_str, :latex
+
+    def initialize(regex_str, latex, ignorecase = false)
+      @regex_str = regex_str
+      @latex = latex
+      @ignorecase = ignorecase
+    end
+
+    def regex
+      return @reg if @reg
+
+      if @ignorecase
+        @reg = Regexp.new(@regex_str, 'i')
+      else
+        @reg = Regexp.new(@regex_str)
+      end
+    end
+  end
+end

data/lib/hwp_script_to_latex/version.rb

@@ -0,0 +1,3 @@
+module HwpScriptToLatex
+  VERSION = "1.0.0"
+end

data/rules.json

@@ -0,0 +1,1168 @@
+[
+  {
+    "regex": "\r?\n",
+    "latex": ""
+  },
+  {
+    "regex": "&lt;|<",
+    "latex": " < "
+  },
+  {
+    "regex": "&rt;|>",
+    "latex": " > "
+  },
+
+  {
+    "regex": "box",
+    "latex": " \\fbox ",
+    "ignorecase": true
+  },
+  {
+    "regex": "dot",
+    "latex": " \\dot "
+  },
+  {
+    "regex": "ddot",
+    "latex": " \\ddot "
+  },
+  {
+    "regex": "acute",
+    "latex": " \\acute "
+  },
+  {
+    "regex": "grave",
+    "latex": " \\grave "
+  },
+  {
+    "regex": "check",
+    "latex": " \\check "
+  },
+  {
+    "regex": "breve",
+    "latex": " \\breve "
+  },
+  {
+    "regex": "tilde",
+    "latex": " \\tilde "
+  },
+  {
+    "regex": "bar",
+    "latex": " \\bar "
+  },
+  {
+    "regex": "hat",
+    "latex": " \\hat "
+  },
+  {
+    "regex": "widehat",
+    "latex": " \\widehat "
+  },
+  {
+    "regex": "vec",
+    "latex": " \\vec "
+  },
+
+  {
+    "regex": "exp",
+    "latex": " \\exp "
+  },
+  {
+    "regex": "ln",
+    "latex": " \\ln "
+  },
+  {
+    "regex": "lg",
+    "latex": " \\lg "
+  },
+  {
+    "regex": "log",
+    "latex": " \\log "
+  },
+  {
+    "regex": "sin",
+    "latex": " \\sin "
+  },
+  {
+    "regex": "cos",
+    "latex": " \\cos "
+  },
+  {
+    "regex": "tan",
+    "latex": " \\tan "
+  },
+  {
+    "regex": "cot",
+    "latex": " \\cot "
+  },
+  {
+    "regex": "sec",
+    "latex": " \\sec "
+  },
+  {
+    "regex": "csc",
+    "latex": " \\csc "
+  },
+  {
+    "regex": "arcsin",
+    "latex": " \\arcsin "
+  },
+  {
+    "regex": "arccos",
+    "latex": " \\arccos "
+  },
+  {
+    "regex": "arctan",
+    "latex": " \\arctan "
+  },
+  {
+    "regex": "sgn",
+    "latex": " \\sgn "
+  },
+  {
+    "regex": "vert",
+    "latex": " \\vert "
+  },
+  {
+    "regex": "min",
+    "latex": " \\min "
+  },
+  {
+    "regex": "max",
+    "latex": " \\max "
+  },
+
+  {
+    "regex": "inf",
+    "latex": " \\inf "
+  },
+  {
+    "regex": "sup",
+    "latex": " \\sup "
+  },
+  {
+    "regex": "lim",
+    "latex": " \\lim "
+  },
+  {
+    "regex": "liminf",
+    "latex": " \\liminf "
+  },
+  {
+    "regex": "limsup",
+    "latex": " \\limsup "
+  },
+  {
+    "regex": "dim",
+    "latex": " \\dim "
+  },
+  {
+    "regex": "deg",
+    "latex": " \\deg "
+  },
+  {
+    "regex": "det",
+    "latex": " \\det "
+  },
+  {
+    "regex": "ker",
+    "latex": " \\ker "
+  },
+
+  {
+    "regex": "Pr",
+    "latex": " \\Pr "
+  },
+  {
+    "regex": "hom",
+    "latex": " \\hom "
+  },
+  {
+    "regex": "(Vert)|(VERT)",
+    "latex": " \\Vert "
+  },
+  {
+    "regex": "arg",
+    "latex": " \\arg "
+  },
+
+  {
+    "regex": "partial",
+    "latex": " \\partial ",
+    "ignorecase": true
+  },
+  {
+    "regex": "nabla",
+    "latex": " \\nabla ",
+    "ignorecase": true
+  },
+  {
+    "regex": "prime",
+    "latex": " \\prime "
+  },
+
+  {
+    "regex": "infty",
+    "latex": " \\infty ",
+    "ignorecase": true
+  },
+  {
+    "regex": "hbar",
+    "latex": " \\hbar ",
+    "ignorecase": true
+  },
+  {
+    "regex": "imath",
+    "latex": " \\imath ",
+    "ignorecase": true
+  },
+  {
+    "regex": "jmath",
+    "latex": " \\jmath ",
+    "ignorecase": true
+  },
+  {
+    "regex": "ell",
+    "latex": " \\ell ",
+    "ignorecase": true
+  },
+  {
+    "regex": "mho",
+    "latex": " \\mho ",
+    "ignorecase": true
+  },
+  {
+    "regex": "wp",
+    "latex": " \\wp ",
+    "ignorecase": true
+  },
+
+  {
+    "regex": "sqrt",
+    "latex": " \\sqrt ",
+    "ignorecase": true
+  },
+  {
+    "regex": "root",
+    "latex": " \\sqrt ",
+    "ignorecase": true
+  },
+
+  {
+    "regex": "plusminus",
+    "latex": " \\pm ",
+    "ignorecase": true
+  },
+  {
+    "regex": "minusplus",
+    "latex": " \\mp ",
+    "ignorecase": true
+  },
+  {
+    "regex": "dsum",
+    "latex": " \\dotplus ",
+    "ignorecase": true
+  },
+  {
+    "regex": "times",
+    "latex": " \\times ",
+    "ignorecase": true
+  },
+  {
+    "regex": "div|divide",
+    "latex": " \\div ",
+    "ignorecase": true
+  },
+  {
+    "regex": "backslash",
+    "latex": " \\backslash ",
+    "ignorecase": true
+  },
+  {
+    "regex": "cdot",
+    "latex": " \\cdot ",
+    "ignorecase": true
+  },
+  {
+    "regex": "ast",
+    "latex": " \\ast ",
+    "ignorecase": true
+  },
+  {
+    "regex": "star",
+    "latex": " \\star ",
+    "ignorecase": true
+  },
+  {
+    "regex": "circ",
+    "latex": " \\circ ",
+    "ignorecase": true
+  },
+  {
+    "regex": "bullet",
+    "latex": " \\bullet ",
+    "ignorecase": true
+  },
+  {
+    "regex": "oplus",
+    "latex": " \\oplus ",
+    "ignorecase": true
+  },
+  {
+    "regex": "ominus",
+    "latex": " \\ominus ",
+    "ignorecase": true
+  },
+  {
+    "regex": "otimes",
+    "latex": " \\otimes ",
+    "ignorecase": true
+  },
+  {
+    "regex": "oslash",
+    "latex": " \\oslash ",
+    "ignorecase": true
+  },
+  {
+    "regex": "odot",
+    "latex": " \\odot ",
+    "ignorecase": true
+  },
+
+  {
+    "regex": "in",
+    "latex": " \\in ",
+    "ignorecase": true
+  },
+  {
+    "regex": "notin|not in",
+    "latex": " \\notin ",
+    "ignorecase": true
+  },
+  {
+    "regex": "ni",
+    "latex": " \\ni ",
+    "ignorecase": true
+  },
+  {
+    "regex": "notni|not ni",
+    "latex": " \\notni ",
+    "ignorecase": true
+  },
+  {
+    "regex": "cap",
+    "latex": " \\cap "
+  },
+  {
+    "regex": "Cap",
+    "latex": " \\Cap "
+  },
+  {
+    "regex": "sqcap",
+    "latex": " \\sqcap ",
+    "ignorecase": true
+  },
+  {
+    "regex": "bigcap",
+    "latex": " \\bigcap ",
+    "ignorecase": true
+  },
+  {
+    "regex": "cup",
+    "latex": " \\cup "
+  },
+  {
+    "regex": "Cup",
+    "latex": " \\Cup "
+  },
+  {
+    "regex": "sqcup",
+    "latex": " \\sqcup ",
+    "ignorecase": true
+  },
+  {
+    "regex": "bigcup",
+    "latex": " \\bigcup ",
+    "ignorecase": true
+  },
+  {
+    "regex": "bigsqcup",
+    "latex": " \\bigsqcup ",
+    "ignorecase": true
+  },
+  {
+    "regex": "uplus",
+    "latex": " \\uplus ",
+    "ignorecase": true
+  },
+  {
+    "regex": "biguplus",
+    "latex": " \\biguplus ",
+    "ignorecase": true
+  },
+  {
+    "regex": "subset",
+    "latex": " \\subset "
+  },
+  {
+    "regex": "Subset",
+    "latex": " \\Subset "
+  },
+  {
+    "regex": "sqsubset",
+    "latex": " \\sqsubset ",
+    "ignorecase": true
+  },
+  {
+    "regex": "supset",
+    "latex": " \\supset "
+  },
+  {
+    "regex": "Supset",
+    "latex": " \\Supset "
+  },
+  {
+    "regex": "sqsupset",
+    "latex": " \\sqsupset ",
+    "ignorecase": true
+  },
+  {
+    "regex": "subseteq",
+    "latex": " \\subseteq ",
+    "ignorecase": true
+  },
+  {
+    "regex": "nsubseteq",
+    "latex": " \\nsubseteq ",
+    "ignorecase": true
+  },
+  {
+    "regex": "subsetneq",
+    "latex": " \\subsetneq ",
+    "ignorecase": true
+  },
+  {
+    "regex": "varsubsetneq",
+    "latex": " \\varsubsetneq ",
+    "ignorecase": true
+  },
+  {
+    "regex": "sqsubseteq",
+    "latex": " \\sqsubseteq ",
+    "ignorecase": true
+  },
+  {
+    "regex": "supseteq",
+    "latex": " \\supseteq ",
+    "ignorecase": true
+  },
+  {
+    "regex": "nsupseteq",
+    "latex": " \\nsupseteq ",
+    "ignorecase": true
+  },
+  {
+    "regex": "supsetneq",
+    "latex": " \\supsetneq ",
+    "ignorecase": true
+  },
+  {
+    "regex": "varsupsetneq",
+    "latex": " \\varsupsetneq ",
+    "ignorecase": true
+  },
+  {
+    "regex": "sqsupseteq",
+    "latex": " \\sqsupseteq ",
+    "ignorecase": true
+  },
+
+  {
+    "regex": "ne",
+    "latex": " \\ne ",
+    "ignorecase": true
+  },
+  {
+    "regex": "neq",
+    "latex": " \\neq ",
+    "ignorecase": true
+  },
+  {
+    "regex": "equiv",
+    "latex": " \\equiv ",
+    "ignorecase": true
+  },
+  {
+    "regex": "notequiv|not equiv",
+    "latex": " \\not\\equiv ",
+    "ignorecase": true
+  },
+  {
+    "regex": "sim",
+    "latex": " \\sim ",
+    "ignorecase": true
+  },
+  {
+    "regex": "simeq",
+    "latex": " \\simeq ",
+    "ignorecase": true
+  },
+  {
+    "regex": "cong",
+    "latex": " \\cong ",
+    "ignorecase": true
+  },
+  {
+    "regex": "approx",
+    "latex": " \\approx ",
+    "ignorecase": true
+  },
+  {
+    "regex": "asymp",
+    "latex": " \\asymp ",
+    "ignorecase": true
+  },
+  {
+    "regex": "propto",
+    "latex": " \\propto ",
+    "ignorecase": true
+  },
+  {
+    "regex": "not\s*<",
+    "latex": " \\nless ",
+    "ignorecase": true
+  },
+  {
+    "regex": "<<",
+    "latex": " \\ll ",
+    "ignorecase": true
+  },
+  {
+    "regex": "not\s*<<",
+    "latex": " \\not\\ll ",
+    "ignorecase": true
+  },
+  {
+    "regex": "<<<|lll",
+    "latex": " \\lll ",
+    "ignorecase": true
+  },
+  {
+    "regex": "not\s*<<<|not\s*lll",
+    "latex": " \\not\\lll ",
+    "ignorecase": true
+  },
+  {
+    "regex": "not\s*>",
+    "latex": " \\ngtr ",
+    "ignorecase": true
+  },
+  {
+    "regex": ">>",
+    "latex": " \\gg ",
+    "ignorecase": true
+  },
+  {
+    "regex": "not\s*>>",
+    "latex": " \\not\\gg ",
+    "ignorecase": true
+  },
+  {
+    "regex": ">>>|ggg",
+    "latex": " \\ggg ",
+    "ignorecase": true
+  },
+  {
+    "regex": "not\s*>>>|not\s*ggg",
+    "latex": " \\not\\ggg ",
+    "ignorecase": true
+  },
+  {
+    "regex": "le",
+    "latex": " \\le ",
+    "ignorecase": true
+  },
+  {
+    "regex": "leq",
+    "latex": " \\leq ",
+    "ignorecase": true
+  },
+  {
+    "regex": "ge",
+    "latex": " \\ge ",
+    "ignorecase": true
+  },
+  {
+    "regex": "geq",
+    "latex": " \\geq ",
+    "ignorecase": true
+  },
+
+  {
+    "regex": "parallel",
+    "latex": " \\parallel ",
+    "ignorecase": true
+  },
+  {
+    "regex": "not\s*parallel",
+    "latex": " \\nparallel ",
+    "ignorecase": true
+  },
+  {
+    "regex": "angle",
+    "latex": " \\angle ",
+    "ignorecase": true
+  },
+  {
+    "regex": "deg",
+    "latex": " ^\\circ ",
+    "ignorecase": true
+  },
+  {
+    "regex": "diamond",
+    "latex": " \\diamond "
+  },
+  {
+    "regex": "Diamond",
+    "latex": " \\Diamond "
+  },
+  {
+    "regex": "bigcirc",
+    "latex": " \\bigcirc ",
+    "ignorecase": true
+  },
+  {
+    "regex": "triangle",
+    "latex": " \\triangle ",
+    "ignorecase": true
+  },
+  {
+    "regex": "triangled",
+    "latex": " \\triangledown ",
+    "ignorecase": true
+  },
+  {
+    "regex": "trianglel",
+    "latex": " \\triangleleft ",
+    "ignorecase": true
+  },
+  {
+    "regex": "triangler",
+    "latex": " \\triangleright ",
+    "ignorecase": true
+  },
+  {
+    "regex": "bar",
+    "latex": " \\bar ",
+    "ignorecase": true
+  },
+  {
+    "regex": "overline",
+    "latex": " \\overline ",
+    "ignorecase": true
+  },
+  {
+    "regex": "arch",
+    "latex": " \\stackrel\\frown ",
+    "ignorecase": true
+  },
+
+  {
+    "regex": "Forall|FORALL",
+    "latex": " \\forall "
+  },
+  {
+    "regex": "exists",
+    "latex": " \\exists ",
+    "ignorecase": true
+  },
+  {
+    "regex": "therefore",
+    "latex": " \\therefore ",
+    "ignorecase": true
+  },
+  {
+    "regex": "because",
+    "latex": " \\because ",
+    "ignorecase": true
+  },
+  {
+    "regex": "lor",
+    "latex": " \\lor ",
+    "ignorecase": true
+  },
+  {
+    "regex": "vee",
+    "latex": " \\vee ",
+    "ignorecase": true
+  },
+  {
+    "regex": "bigvee",
+    "latex": " \\bigvee ",
+    "ignorecase": true
+  },
+  {
+    "regex": "land",
+    "latex": " \\land ",
+    "ignorecase": true
+  },
+  {
+    "regex": "wedge",
+    "latex": " \\wedge ",
+    "ignorecase": true
+  },
+  {
+    "regex": "bigwedge",
+    "latex": " \\bigwedge ",
+    "ignorecase": true
+  },
+  {
+    "regex": "neg",
+    "latex": " \\neg ",
+    "ignorecase": true
+  },
+  {
+    "regex": "bot",
+    "latex": " \\bot ",
+    "ignorecase": true
+  },
+  {
+    "regex": "top",
+    "latex": " \\top ",
+    "ignorecase": true
+  },
+  {
+    "regex": "vdash",
+    "latex": " \\vdash ",
+    "ignorecase": true
+  },
+  {
+    "regex": "dashv",
+    "latex": " \\dashv ",
+    "ignorecase": true
+  },
+
+  {
+    "regex": "leftarrow|larrow",
+    "latex": " \\leftarrow "
+  },
+  {
+    "regex": "Leftarrow|LEFTARROW|LARROW",
+    "latex": " \\Leftarrow "
+  },
+  {
+    "regex": "rightarrow|rarrow",
+    "latex": " \\rightarrow "
+  },
+  {
+    "regex": "Rightarrow|RIGHTARROW|RARROW",
+    "latex": " \\Rightarrow "
+  },
+  {
+    "regex": "uparrow",
+    "latex": " \\uparrow "
+  },
+  {
+    "regex": "Uparrow|UPARROW",
+    "latex": " \\Uparrow "
+  },
+  {
+    "regex": "downarrow",
+    "latex": " \\downarrow "
+  },
+  {
+    "regex": "Downarrow|DOWNARROW",
+    "latex": " \\Downarrow "
+  },
+  {
+    "regex": "udarrow",
+    "latex": " \\updownarrow "
+  },
+  {
+    "regex": "Udarrow|UDARROW",
+    "latex": " \\Updownarrow "
+  },
+  {
+    "regex": "lrarrow",
+    "latex": " \\leftrightarrow "
+  },
+  {
+    "regex": "Lrarrow|LRARROW",
+    "latex": " \\Leftrightarrow "
+  },
+  {
+    "regex": "nwarrow",
+    "latex": " \\nwarrow ",
+    "ignorecase": true
+  },
+  {
+    "regex": "searrow",
+    "latex": " \\searrow ",
+    "ignorecase": true
+  },
+  {
+    "regex": "nearrow",
+    "latex": " \\nearrow ",
+    "ignorecase": true
+  },
+  {
+    "regex": "swarrow",
+    "latex": " \\swarrow ",
+    "ignorecase": true
+  },
+  {
+    "regex": "hookleft",
+    "latex": " \\hookleftarrow ",
+    "ignorecase": true
+  },
+  {
+    "regex": "hookright",
+    "latex": " \\hookrightarrow ",
+    "ignorecase": true
+  },
+  {
+    "regex": "mapsto",
+    "latex": " \\mapsto ",
+    "ignorecase": true
+  },
+
+  {
+    "regex": "amalg",
+    "latex": " \\amalg ",
+    "ignorecase": true
+  },
+  {
+    "regex": "dagger",
+    "latex": " \\dagger ",
+    "ignorecase": true
+  },
+  {
+    "regex": "ddagger",
+    "latex": " \\ddager ",
+    "ignorecase": true
+  },
+  {
+    "regex": "ldots",
+    "latex": " \\ldots ",
+    "ignorecase": true
+  },
+  {
+    "regex": "cdots",
+    "latex": " \\cdots ",
+    "ignorecase": true
+  },
+  {
+    "regex": "ddots",
+    "latex": " \\ddots ",
+    "ignorecase": true
+  },
+  
+  {
+    "regex": "`",
+    "latex": " \\, "
+  },
+  {
+    "regex": "~",
+    "latex": " \\  "
+  },
+  {
+    "regex": "#",
+    "latex": "\\\\\\\\"
+  },
+  {
+    "regex": "&amp;",
+    "latex": ""
+  },
+  {
+    "regex": "cases",
+    "latex": " \\cases "
+  },
+
+  {
+    "regex": "left",
+    "latex": " \\left ",
+    "ignorecase": true
+  },
+  {
+    "regex": "right",
+    "latex": " \\right ",
+    "ignorecase": true
+  },
+  {
+    "regex": "langle",
+    "latex": " \\langle ",
+    "ignorecase": true
+  },
+  {
+    "regex": "rangle",
+    "latex": " \\rangle ",
+    "ignorecase": true
+  },
+  {
+    "regex": "left\s*{",
+    "latex": " left\\{ ",
+    "ignorecase": true
+  },
+  {
+    "regex": "right\s*}",
+    "latex": " right\\} ",
+    "ignorecase": true
+  },
+  {
+    "regex": "lfloor",
+    "latex": " \\lfloor ",
+    "ignorecase": true
+  },
+  {
+    "regex": "rfloor",
+    "latex": " \\rfloor ",
+    "ignorecase": true
+  },
+  {
+    "regex": "lceil",
+    "latex": " \\lceil ",
+    "ignorecase": true
+  },
+  {
+    "regex": "rceil",
+    "latex": " \\rceil ",
+    "ignorecase": true
+  },
+
+  {
+    "regex": "(Alpha)|(ALPHA)",
+    "latex": " A "
+  },
+  {
+    "regex": "alpha",
+    "latex": " \\alpha "
+  },
+  {
+    "regex": "(Beta)|(BETA)",
+    "latex": " B "
+  },
+  {
+    "regex": "beta",
+    "latex": " \\beta "
+  },
+  {
+    "regex": "(Gamma)|(GAMMA)",
+    "latex": " \\Gamma "
+  },
+  {
+    "regex": "gamma",
+    "latex": " \\gamma "
+  },
+  {
+    "regex": "(Delta)|(DELTA)",
+    "latex": " \\Delta "
+  },
+  {
+    "regex": "delta",
+    "latex": " \\delta "
+  },
+  {
+    "regex": "(Epsilon)|(EPSILON)",
+    "latex": " E "
+  },
+  {
+    "regex": "epsilon",
+    "latex": " \\epsilon "
+  },
+  {
+    "regex": "(Zeta)|(ZETA)",
+    "latex": " Z "
+  },
+  {
+    "regex": "zeta",
+    "latex": " \\zeta "
+  },
+  {
+    "regex": "(Eta)|(ETA)",
+    "latex": " H "
+  },
+  {
+    "regex": "eta",
+    "latex": " \\eta "
+  },
+  {
+    "regex": "(Theta)|(THETA)",
+    "latex": " \\Theta "
+  },
+  {
+    "regex": "theta",
+    "latex": " \\theta "
+  },
+  {
+    "regex": "(Iota)|(IOTA)",
+    "latex": " I "
+  },
+  {
+    "regex": "iota",
+    "latex": " \\iota "
+  },
+  {
+    "regex": "(Kappa)|(KAPPA)",
+    "latex": " K "
+  },
+  {
+    "regex": "kappa",
+    "latex": " \\kappa "
+  },
+  {
+    "regex": "(Lambda)|(LAMBDA)",
+    "latex": " \\Lambda "
+  },
+  {
+    "regex": "lambda",
+    "latex": " \\lambda "
+  },
+  {
+    "regex": "(Mu)|(MU)",
+    "latex": " M "
+  },
+  {
+    "regex": "mu",
+    "latex": " \\mu "
+  },
+  {
+    "regex": "(Nu)|(NU)",
+    "latex": " N "
+  },
+  {
+    "regex": "nu",
+    "latex": " \\nu "
+  },
+  {
+    "regex": "(Xi)|(XI)",
+    "latex": " \\Xi "
+  },
+  {
+    "regex": "xi",
+    "latex": " \\xi "
+  },
+  {
+    "regex": "(Pi)|(PI)",
+    "latex": " \\Pi "
+  },
+  {
+    "regex": "pi",
+    "latex": " \\pi "
+  },
+  {
+    "regex": "(Rho)|(RHO)",
+    "latex": " P "
+  },
+  {
+    "regex": "rho",
+    "latex": " \\rho "
+  },
+  {
+    "regex": "(Sigma)|(SIGMA)",
+    "latex": " \\Sigma "
+  },
+  {
+    "regex": "sigma",
+    "latex": " \\sigma "
+  },
+  {
+    "regex": "(Tau)|(TAU)",
+    "latex": " T "
+  },
+  {
+    "regex": "tau",
+    "latex": " \\tau "
+  },
+  {
+    "regex": "(Upsilon)|(UPSILON)",
+    "latex": " \\Upsilon "
+  },
+  {
+    "regex": "upsilon",
+    "latex": " \\upsilon "
+  },
+  {
+    "regex": "(Phi)|(PHI)",
+    "latex": " \\Phi "
+  },
+  {
+    "regex": "phi",
+    "latex": " \\phi "
+  },
+  {
+    "regex": "(Chi)|(CHI)",
+    "latex": " X "
+  },
+  {
+    "regex": "chi",
+    "latex": " \\chi "
+  },
+  {
+    "regex": "(Psi)|(PSI)",
+    "latex": " \\Psi "
+  },
+  {
+    "regex": "psi",
+    "latex": " \\psi "
+  },
+  {
+    "regex": "(Omega)|(OMEGA)",
+    "latex": " \\Omega "
+  },
+  {
+    "regex": "omega",
+    "latex": " \\omega "
+  },
+  {
+    "regex": "varepsilon",
+    "latex": " \\varepsilon "
+  },
+  {
+    "regex": "digamma",
+    "latex": " \\digamma "
+  },
+  {
+    "regex": "varkappa",
+    "latex": " \\varkappa "
+  },
+  {
+    "regex": "varpi",
+    "latex": " \\varpi "
+  },
+  {
+    "regex": "varrho",
+    "latex": " \\varrho "
+  },
+  {
+    "regex": "varsigma",
+    "latex": " \\varsigma "
+  },
+  {
+    "regex": "vartheta",
+    "latex": " \\vartheta "
+  },
+  {
+    "regex": "varphi",
+    "latex": " \\varphi "
+  },
+  {
+    "regex": "aleph",
+    "latex": " \\aleph "
+  },
+  {
+    "regex": "beth",
+    "latex": " \\beth "
+  },
+  {
+    "regex": "gimel",
+    "latex": " \\gimel "
+  },
+  {
+    "regex": "daleth",
+    "latex": " \\daleth "
+  },
+
+  {
+    "regex": "->",
+    "latex": " \\to "
+  }
+]