Encode::Arabic::ArabTeX(3pm) on Linux

The text dcf7781e579c, as Debian 7 (Wheezy), Debian 6.0 (Squeeze) shipped it.

Interpreter of the ArabTeX notation of Arabic