Extending ArabTeX