Mercurial > hg > Papers > 2019 > ryokka-sigss

comparison Paper/escape_agda.rb @ 8:83d000399c9d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix invisible char
author ryokka
date Tue, 18 Dec 2018 04:08:28 +0900
parents 493983f2c9db
children
comparison
equal deleted inserted replaced
7:b5f17725a347 8:83d000399c9d
14 '⟨' => 'langle', 14 '⟨' => 'langle',
15 '⟩' => 'rangle', 15 '⟩' => 'rangle',
16 '₁' => 'text{1}', 16 '₁' => 'text{1}',
17 'ℕ' => 'mathbb{N}', 17 'ℕ' => 'mathbb{N}',
18 '∎' => 'blacksquare', 18 '∎' => 'blacksquare',
19 'λ' => 'lambda' 19 'λ' => 'lambda',
20 '∧' => 'wedge',
21 '⇒' => 'Rightarrow',
22 '¬' => 'neg',
23 '≤' => 'leq',
24 '⊥' => 'bot',
20 } 25 }
21 26
22 code = File.read(FileName) 27 code = File.read(FileName)
23 ReplaceTable.each do |k, v| 28 ReplaceTable.each do |k, v|
24 escaped_str = EscapeChar + "$\\#{v}$" + EscapeChar 29 escaped_str = EscapeChar + "$\\#{v}$" + EscapeChar