The latest version of unicoder is 0.5.0-0.

unicoder

Version 0.4.0 revision 0 uploaded by ZankokuOkuno.

Package meta

Synopsis
Make writing in unicode easy.
Description

Unicoder transforms text documents, replacing simple patterns with unicode equivalents. The patterns can be easily configured by the user. This package is especially meant to open the vast and expressive array of unicode identifiers to programmers and language designers, but there's nothing wrong with a technically savvy user putting unicoder to work on documents for human consumption.

With the default settings,

\E x. \A y. \<x \-> y\> \ldots
\l x,y. x \of x \of y

becomes

∃x ∀y ⟨x → y⟩ …
λ x,y. x ∘ x ∘ y

Many more possibilities abound just in the default set of characters. Any system of special characters can be made easy to type with a normal keyboard as long as unicode supports it.

Author
Zankoku Okuno
Bug reports
n/a
Category
Text
Copyright
Copyright © 2013, 2014, Okuno Zankoku
Homepage
n/a
Maintainer
zankoku.okuno@gmail.com
Package URL
n/a
Stability
beta

Components