TeXmacs loading ...