Skip to content

Instantly share code, notes, and snippets.

@xnyhps
Created October 23, 2010 19:04
Show Gist options
  • Save xnyhps/642566 to your computer and use it in GitHub Desktop.
Save xnyhps/642566 to your computer and use it in GitHub Desktop.
Add this to your ~/Library/Preferences/.GlobalPreferences.plist to have agda-mode's text substitutions in any Cocoa app!
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\eq</string>
<key>with</key>
<string>=</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\eqn</string>
<key>with</key>
<string>≠</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\=n</string>
<key>with</key>
<string>≠</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\~</string>
<key>with</key>
<string>∼</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\~n</string>
<key>with</key>
<string>≁</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\~~</string>
<key>with</key>
<string>≈</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\~~n</string>
<key>with</key>
<string>≉</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\~~~</string>
<key>with</key>
<string>≋</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\:~</string>
<key>with</key>
<string>∻</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\~-</string>
<key>with</key>
<string>≃</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\~-n</string>
<key>with</key>
<string>≄</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\-~</string>
<key>with</key>
<string>≂</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\~=</string>
<key>with</key>
<string>≅</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\~=n</string>
<key>with</key>
<string>≇</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\~~-</string>
<key>with</key>
<string>≊</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\==</string>
<key>with</key>
<string>≡</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\==n</string>
<key>with</key>
<string>≢</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\===</string>
<key>with</key>
<string>≣</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\.=</string>
<key>with</key>
<string>≐</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\.=.</string>
<key>with</key>
<string>≑</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\:=</string>
<key>with</key>
<string>≔</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\=:</string>
<key>with</key>
<string>≕</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\=o</string>
<key>with</key>
<string>≗</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(=</string>
<key>with</key>
<string>≘</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\and=</string>
<key>with</key>
<string>≙</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\or=</string>
<key>with</key>
<string>≚</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\*=</string>
<key>with</key>
<string>≛</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\t=</string>
<key>with</key>
<string>≜</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\def=</string>
<key>with</key>
<string>≝</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\m=</string>
<key>with</key>
<string>≞</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\?=</string>
<key>with</key>
<string>≟</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\leq</string>
<key>with</key>
<string>&lt;</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\leqn</string>
<key>with</key>
<string>≮</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\geq</string>
<key>with</key>
<string>></string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\geqn</string>
<key>with</key>
<string>≯</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\&lt;=</string>
<key>with</key>
<string>≤</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\>=</string>
<key>with</key>
<string>≥</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\&lt;=n</string>
<key>with</key>
<string>≰</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\>=n</string>
<key>with</key>
<string>≱</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\len</string>
<key>with</key>
<string>≰</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\gen</string>
<key>with</key>
<string>≱</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\&lt;n</string>
<key>with</key>
<string>≮</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\>n</string>
<key>with</key>
<string>≯</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\&lt;~</string>
<key>with</key>
<string>≲</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\>~</string>
<key>with</key>
<string>≳</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\&lt;~n</string>
<key>with</key>
<string>⋦</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\>~n</string>
<key>with</key>
<string>⋧</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\&lt;~nn</string>
<key>with</key>
<string>≴</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\>~nn</string>
<key>with</key>
<string>≵</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\sub</string>
<key>with</key>
<string>⊂</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\sup</string>
<key>with</key>
<string>⊃</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\subn</string>
<key>with</key>
<string>⊄</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\supn</string>
<key>with</key>
<string>⊅</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\sub=</string>
<key>with</key>
<string>⊆</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\sup=</string>
<key>with</key>
<string>⊇</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\sub=n</string>
<key>with</key>
<string>⊈</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\sup=n</string>
<key>with</key>
<string>⊉</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\squb</string>
<key>with</key>
<string>⊏</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\squp</string>
<key>with</key>
<string>⊐</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\squb=</string>
<key>with</key>
<string>⊑</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\squp=</string>
<key>with</key>
<string>⊒</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\squb=n</string>
<key>with</key>
<string>⋢</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\squp=n</string>
<key>with</key>
<string>⋣</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\in</string>
<key>with</key>
<string>∈</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\inn</string>
<key>with</key>
<string>∉</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\nin</string>
<key>with</key>
<string>∌</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\intersection</string>
<key>with</key>
<string>∩</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\union</string>
<key>with</key>
<string>∪</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\and</string>
<key>with</key>
<string>∧</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\or</string>
<key>with</key>
<string>∨</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\And</string>
<key>with</key>
<string>⋀</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Or</string>
<key>with</key>
<string>⋁</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\i</string>
<key>with</key>
<string>∩</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\un</string>
<key>with</key>
<string>∪</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\u+</string>
<key>with</key>
<string>⊎</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\u.</string>
<key>with</key>
<string>⊍</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\I</string>
<key>with</key>
<string>⋂</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Un</string>
<key>with</key>
<string>⋃</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\U+</string>
<key>with</key>
<string>⨄</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\U.</string>
<key>with</key>
<string>⨃</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\glb</string>
<key>with</key>
<string>⊓</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\lub</string>
<key>with</key>
<string>⊔</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Glb</string>
<key>with</key>
<string>⨅</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Lub</string>
<key>with</key>
<string>⨆</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\entails</string>
<key>with</key>
<string>⊢</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\|-</string>
<key>with</key>
<string>⊢</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\|-n</string>
<key>with</key>
<string>⊬</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\-|</string>
<key>with</key>
<string>⊣</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\|=</string>
<key>with</key>
<string>⊨</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\|=n</string>
<key>with</key>
<string>⊭</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\||-</string>
<key>with</key>
<string>⊩</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\||-n</string>
<key>with</key>
<string>⊮</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\||=</string>
<key>with</key>
<string>⊫</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\||=n</string>
<key>with</key>
<string>⊯</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\|||-</string>
<key>with</key>
<string>⊪</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\|</string>
<key>with</key>
<string>∣</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\|n</string>
<key>with</key>
<string>∤</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\||</string>
<key>with</key>
<string>∥</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\||n</string>
<key>with</key>
<string>∦</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\all</string>
<key>with</key>
<string>∀</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\ex</string>
<key>with</key>
<string>∃</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\exn</string>
<key>with</key>
<string>∄</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\0</string>
<key>with</key>
<string>∅</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\C</string>
<key>with</key>
<string>∁</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\c</string>
<key>with</key>
<string>⌜</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\cu</string>
<key>with</key>
<string>⌜</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\cl</string>
<key>with</key>
<string> </string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\cul</string>
<key>with</key>
<string>⌜</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\cuL</string>
<key>with</key>
<string>⌈</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\cur</string>
<key>with</key>
<string>⌝</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\cuR</string>
<key>with</key>
<string>⌉</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\cll</string>
<key>with</key>
<string>⌞</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\clL</string>
<key>with</key>
<string>⌊</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\clr</string>
<key>with</key>
<string>⌟</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\clR</string>
<key>with</key>
<string>⌋</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\qed</string>
<key>with</key>
<string>∎</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\x</string>
<key>with</key>
<string>×</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\o</string>
<key>with</key>
<string>∘</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\comp</string>
<key>with</key>
<string>∘</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\.</string>
<key>with</key>
<string>∙</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\*</string>
<key>with</key>
<string>⋆</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\.+</string>
<key>with</key>
<string>∔</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\.-</string>
<key>with</key>
<string>∸</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\:</string>
<key>with</key>
<string>∶</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\::</string>
<key>with</key>
<string>∷</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\::-</string>
<key>with</key>
<string>∺</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\-:</string>
<key>with</key>
<string>∹</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\+ </string>
<key>with</key>
<string>⊹</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\surd3</string>
<key>with</key>
<string>∛</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\surd4</string>
<key>with</key>
<string>∜</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\increment</string>
<key>with</key>
<string>∆</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\inf</string>
<key>with</key>
<string>∞</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\o+</string>
<key>with</key>
<string>⊕</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\o--</string>
<key>with</key>
<string>⊖</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\ox</string>
<key>with</key>
<string>⊗</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\o/</string>
<key>with</key>
<string>⊘</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\o.</string>
<key>with</key>
<string>⊙</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\oo</string>
<key>with</key>
<string>⊚</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\o*</string>
<key>with</key>
<string>⊛</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\o=</string>
<key>with</key>
<string>⊜</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\o-</string>
<key>with</key>
<string>⊝</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\O+</string>
<key>with</key>
<string>⨁</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Ox</string>
<key>with</key>
<string>⨂</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\O.</string>
<key>with</key>
<string>⨀</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\O*</string>
<key>with</key>
<string>⍟</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\b+</string>
<key>with</key>
<string>⊞</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\b-</string>
<key>with</key>
<string>⊟</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\bx</string>
<key>with</key>
<string>⊠</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\b.</string>
<key>with</key>
<string>⊡</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\integral</string>
<key>with</key>
<string>∫</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\angle</string>
<key>with</key>
<string>∟</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\join</string>
<key>with</key>
<string>⋈</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\l</string>
<key>with</key>
<string>←</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\r</string>
<key>with</key>
<string>→</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\u</string>
<key>with</key>
<string>↑</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\d</string>
<key>with</key>
<string>↓</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\ud</string>
<key>with</key>
<string>↕</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\lr</string>
<key>with</key>
<string>↔</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\ul</string>
<key>with</key>
<string>↖</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\ur</string>
<key>with</key>
<string>↗</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\dr</string>
<key>with</key>
<string>↘</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\dl</string>
<key>with</key>
<string>↙</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\l-</string>
<key>with</key>
<string>←</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\&lt;-</string>
<key>with</key>
<string>←</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\l=</string>
<key>with</key>
<string>⇐</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\r-</string>
<key>with</key>
<string>→</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\-></string>
<key>with</key>
<string>→</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\r=</string>
<key>with</key>
<string>⇒</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\=></string>
<key>with</key>
<string>⇒</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\u-</string>
<key>with</key>
<string>↑</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\u=</string>
<key>with</key>
<string>⇑</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\d-</string>
<key>with</key>
<string>↓</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\d=</string>
<key>with</key>
<string>⇓</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\ud-</string>
<key>with</key>
<string>↕</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\ud=</string>
<key>with</key>
<string>⇕</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\lr-</string>
<key>with</key>
<string>↔</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\&lt;-></string>
<key>with</key>
<string>↔</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\lr=</string>
<key>with</key>
<string>⇔</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\&lt;=></string>
<key>with</key>
<string>⇔</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\ul-</string>
<key>with</key>
<string>↖</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\ul=</string>
<key>with</key>
<string>⇖</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\ur-</string>
<key>with</key>
<string>↗</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\ur=</string>
<key>with</key>
<string>⇗</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\dr-</string>
<key>with</key>
<string>↘</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\dr=</string>
<key>with</key>
<string>⇘</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\dl-</string>
<key>with</key>
<string>↙</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\dl=</string>
<key>with</key>
<string>⇙</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\l==</string>
<key>with</key>
<string>⇚</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\l-2</string>
<key>with</key>
<string>⇇</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\l-r-</string>
<key>with</key>
<string>⇆</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\r==</string>
<key>with</key>
<string>⇛</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\r-2</string>
<key>with</key>
<string>⇉</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\r-3</string>
<key>with</key>
<string>⇶</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\r-l-</string>
<key>with</key>
<string>⇄</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\u==</string>
<key>with</key>
<string>⟰</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\u-2</string>
<key>with</key>
<string>⇈</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\u-d-</string>
<key>with</key>
<string>⇅</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\d==</string>
<key>with</key>
<string>⟱</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\d-2</string>
<key>with</key>
<string>⇊</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\d-u-</string>
<key>with</key>
<string>⇵</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\l--</string>
<key>with</key>
<string>⟵</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\&lt;--</string>
<key>with</key>
<string>⟵</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\l~</string>
<key>with</key>
<string>↜</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\r--</string>
<key>with</key>
<string>⟶</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\--></string>
<key>with</key>
<string>⟶</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\r~</string>
<key>with</key>
<string>↝</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\lr--</string>
<key>with</key>
<string>⟷</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\&lt;--></string>
<key>with</key>
<string>⟷</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\lr~</string>
<key>with</key>
<string>↭</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\l-n</string>
<key>with</key>
<string>↚</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\&lt;-n</string>
<key>with</key>
<string>↚</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\l=n</string>
<key>with</key>
<string>⇍</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\r-n</string>
<key>with</key>
<string>↛</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\->n</string>
<key>with</key>
<string>↛</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\r=n</string>
<key>with</key>
<string>⇏</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\=>n</string>
<key>with</key>
<string>⇏</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\lr-n</string>
<key>with</key>
<string>↮</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\&lt;->n</string>
<key>with</key>
<string>↮</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\lr=n</string>
<key>with</key>
<string>⇎</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\&lt;=>n</string>
<key>with</key>
<string>⇎</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\l-|</string>
<key>with</key>
<string>↤</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\ll-</string>
<key>with</key>
<string>↞</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\r-|</string>
<key>with</key>
<string>↦</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\rr-</string>
<key>with</key>
<string>↠</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\u-|</string>
<key>with</key>
<string>↥</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\uu-</string>
<key>with</key>
<string>↟</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\d-|</string>
<key>with</key>
<string>↧</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\dd-</string>
<key>with</key>
<string>↡</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\ud-|</string>
<key>with</key>
<string>↨</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\dz</string>
<key>with</key>
<string>↯</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\...</string>
<key>with</key>
<string>⋯</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\---</string>
<key>with</key>
<string>─</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\--=</string>
<key>with</key>
<string>═</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\--_</string>
<key>with</key>
<string>━</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\--.</string>
<key>with</key>
<string>╌</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\t</string>
<key>with</key>
<string>◂</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\T</string>
<key>with</key>
<string>◀</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\tb</string>
<key>with</key>
<string>◂</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\tw</string>
<key>with</key>
<string>◃</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Tb</string>
<key>with</key>
<string>◀</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Tw</string>
<key>with</key>
<string>◁</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\sq</string>
<key>with</key>
<string>■</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\sqb</string>
<key>with</key>
<string>■</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\sqw</string>
<key>with</key>
<string>□</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\sq.</string>
<key>with</key>
<string>▣</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\sqo</string>
<key>with</key>
<string>▢</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\re</string>
<key>with</key>
<string>▬</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\reb</string>
<key>with</key>
<string>▬</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\rew</string>
<key>with</key>
<string>▭</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\pa</string>
<key>with</key>
<string>▰</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\pab</string>
<key>with</key>
<string>▰</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\paw</string>
<key>with</key>
<string>▱</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\di</string>
<key>with</key>
<string>◆</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\dib</string>
<key>with</key>
<string>◆</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\diw</string>
<key>with</key>
<string>◇</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\di.</string>
<key>with</key>
<string>◈</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\ci</string>
<key>with</key>
<string>●</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\cib</string>
<key>with</key>
<string>●</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\ciw</string>
<key>with</key>
<string>○</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\ci.</string>
<key>with</key>
<string>◎</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\ci..</string>
<key>with</key>
<string>◌</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\ciO</string>
<key>with</key>
<string>◯</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\st</string>
<key>with</key>
<string>⋆</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\st4</string>
<key>with</key>
<string>✦</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\st6</string>
<key>with</key>
<string>✶</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\st8</string>
<key>with</key>
<string>✴</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\st12</string>
<key>with</key>
<string>✹</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\bn</string>
<key>with</key>
<string>ℕ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\bz</string>
<key>with</key>
<string>ℤ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\bq</string>
<key>with</key>
<string>ℚ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\br</string>
<key>with</key>
<string>ℝ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\bc</string>
<key>with</key>
<string>ℂ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\bp</string>
<key>with</key>
<string>ℙ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\bsum</string>
<key>with</key>
<string>⅀</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(</string>
<key>with</key>
<string>(</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\)</string>
<key>with</key>
<string>)</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\[[</string>
<key>with</key>
<string>⟦</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\]]</string>
<key>with</key>
<string>⟧</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\&lt;</string>
<key>with</key>
<string>⟨</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\></string>
<key>with</key>
<string>⟩</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\&lt;&lt;</string>
<key>with</key>
<string>⟪</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\>></string>
<key>with</key>
<string>⟫</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\'</string>
<key>with</key>
<string>′</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\`</string>
<key>with</key>
<string>‵</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\frac</string>
<key>with</key>
<string>¼</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\bu</string>
<key>with</key>
<string>•</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\bub</string>
<key>with</key>
<string>•</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\buw</string>
<key>with</key>
<string>◦</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\but</string>
<key>with</key>
<string>‣</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\note</string>
<key>with</key>
<string>♩</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\b</string>
<key>with</key>
<string>♭</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\#</string>
<key>with</key>
<string>♯</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\\\</string>
<key>with</key>
<string>\\</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\en</string>
<key>with</key>
<string>–</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\em</string>
<key>with</key>
<string>—</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\^i</string>
<key>with</key>
<string>ⁱ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\!!</string>
<key>with</key>
<string>‼</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\??</string>
<key>with</key>
<string>⁇</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\?!</string>
<key>with</key>
<string>‽</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\!?</string>
<key>with</key>
<string>⁉</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\die</string>
<key>with</key>
<string>⚀</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\asterisk</string>
<key>with</key>
<string>⁎</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\tie</string>
<key>with</key>
<string>⁀</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\undertie</string>
<key>with</key>
<string>‿</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\apl</string>
<key>with</key>
<string>⌶</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Ga</string>
<key>with</key>
<string>α</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\GA</string>
<key>with</key>
<string>Α</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Gb</string>
<key>with</key>
<string>β</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\GB</string>
<key>with</key>
<string>Β</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Gg</string>
<key>with</key>
<string>γ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\GG</string>
<key>with</key>
<string>Γ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Gd</string>
<key>with</key>
<string>δ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\GD</string>
<key>with</key>
<string>Δ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Ge</string>
<key>with</key>
<string>ε</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\GE</string>
<key>with</key>
<string>Ε</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Gz</string>
<key>with</key>
<string>ζ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\GZ</string>
<key>with</key>
<string>Ζ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Gth</string>
<key>with</key>
<string>θ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\GTH</string>
<key>with</key>
<string>θ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Gi</string>
<key>with</key>
<string>ι</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\GI</string>
<key>with</key>
<string>Ι</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Gk</string>
<key>with</key>
<string>κ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\GK</string>
<key>with</key>
<string>Κ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Gl</string>
<key>with</key>
<string>λ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\GL</string>
<key>with</key>
<string>Λ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Gl-</string>
<key>with</key>
<string>ƛ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Gm</string>
<key>with</key>
<string>μ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\GM</string>
<key>with</key>
<string>Μ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Gn</string>
<key>with</key>
<string>ν</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\GN</string>
<key>with</key>
<string>Ν</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Gx</string>
<key>with</key>
<string>ξ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\GX</string>
<key>with</key>
<string>Ξ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Gr</string>
<key>with</key>
<string>ρ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\GR</string>
<key>with</key>
<string>Ρ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Gs</string>
<key>with</key>
<string>σ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\GS</string>
<key>with</key>
<string>Σ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Gt</string>
<key>with</key>
<string>τ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\GT</string>
<key>with</key>
<string>Τ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Gu</string>
<key>with</key>
<string>υ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\GU</string>
<key>with</key>
<string>Υ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Gf</string>
<key>with</key>
<string>φ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\GF</string>
<key>with</key>
<string>Φ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Gc</string>
<key>with</key>
<string>χ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\GC</string>
<key>with</key>
<string>Χ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Gp</string>
<key>with</key>
<string>ψ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\GP</string>
<key>with</key>
<string>Ψ</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\Go</string>
<key>with</key>
<string>ω</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\GO</string>
<key>with</key>
<string>Ω</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\ </string>
<key>with</key>
<string> </string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\!</string>
<key>with</key>
<string>¡</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\cent</string>
<key>with</key>
<string>¢</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\brokenbar</string>
<key>with</key>
<string>¦</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\degree</string>
<key>with</key>
<string>°</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\?</string>
<key>with</key>
<string>¿</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\^a_</string>
<key>with</key>
<string>ª</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\^o_</string>
<key>with</key>
<string>º</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(0)</string>
<key>with</key>
<string> </string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(1)</string>
<key>with</key>
<string>⑴</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(2)</string>
<key>with</key>
<string>⑵</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(3)</string>
<key>with</key>
<string>⑶</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(4)</string>
<key>with</key>
<string>⑷</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(5)</string>
<key>with</key>
<string>⑸</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(6)</string>
<key>with</key>
<string>⑹</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(7)</string>
<key>with</key>
<string>⑺</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(8)</string>
<key>with</key>
<string>⑻</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(9)</string>
<key>with</key>
<string>⑼</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(10)</string>
<key>with</key>
<string>⑽</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(11)</string>
<key>with</key>
<string>⑾</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(12)</string>
<key>with</key>
<string>⑿</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(13)</string>
<key>with</key>
<string>⒀</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(14)</string>
<key>with</key>
<string>⒁</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(15)</string>
<key>with</key>
<string>⒂</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(16)</string>
<key>with</key>
<string>⒃</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(17)</string>
<key>with</key>
<string>⒄</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(18)</string>
<key>with</key>
<string>⒅</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(19)</string>
<key>with</key>
<string>⒆</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(20)</string>
<key>with</key>
<string>⒇</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(a)</string>
<key>with</key>
<string>⒜</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(b)</string>
<key>with</key>
<string>⒝</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(c)</string>
<key>with</key>
<string>⒞</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(d)</string>
<key>with</key>
<string>⒟</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(e)</string>
<key>with</key>
<string>⒠</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(f)</string>
<key>with</key>
<string>⒡</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(g)</string>
<key>with</key>
<string>⒢</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(h)</string>
<key>with</key>
<string>⒣</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(i)</string>
<key>with</key>
<string>⒤</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(j)</string>
<key>with</key>
<string>⒥</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(k)</string>
<key>with</key>
<string>⒦</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(l)</string>
<key>with</key>
<string>⒧</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(m)</string>
<key>with</key>
<string>⒨</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(n)</string>
<key>with</key>
<string>⒩</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(o)</string>
<key>with</key>
<string>⒪</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(p)</string>
<key>with</key>
<string>⒫</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(q)</string>
<key>with</key>
<string>⒬</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(r)</string>
<key>with</key>
<string>⒭</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(s)</string>
<key>with</key>
<string>⒮</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(t)</string>
<key>with</key>
<string>⒯</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(u)</string>
<key>with</key>
<string>⒰</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(v)</string>
<key>with</key>
<string>⒱</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(w)</string>
<key>with</key>
<string>⒲</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(x)</string>
<key>with</key>
<string>⒳</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(y)</string>
<key>with</key>
<string>⒴</string>
</dict>
<dict>
<key>on</key>
<integer>1</integer>
<key>replace</key>
<string>\(z)</string>
<key>with</key>
<string>⒵</string>
</dict>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment