Mercurial > hg > Papers > 2020 > ryokka-master
view paper/escape_agda.rb @ 19:046b2b20d6c7 default tip
fix
author | ryokka |
---|---|
date | Mon, 09 Mar 2020 11:25:49 +0900 |
parents | |
children |
line wrap: on
line source
#!/usr/bin/env ruby # coding: utf-8 Suffix = '.agda.replaced' EscapeChar = '@' FileName = ARGV.first ReplaceTable = { '→' => 'rightarrow', '->' => 'rightarrow', '⊔' => 'sqcup', '∷' => 'text{::}', '∙' => 'circ', '≡' => 'equiv', '×' => 'times', '⟨' => 'langle', '⟩' => 'rangle', 'ℕ' => 'mathbb{N}', '₁' => '_{1}', '₂' => '_{2}', '∎' => 'blacksquare', 'λ' => 'lambda', '∧' => 'wedge', '/\\' => 'wedge', '⇒' => 'Rightarrow', '¬' => 'neg', '≤' => 'leq', '⊥' => 'bot', '∀' => 'forall', '#' => '\#', '⊤' => 'top', '≈' => 'thickapprox', '≟' => 'stackrel{?}{=}', } code = File.read(FileName) ReplaceTable.each do |k, v| escaped_str = EscapeChar + "$\\#{v}$" + EscapeChar code = code.gsub(k, escaped_str) end File.write(FileName.sub(/.agda$/, Suffix), code)