▽X-Symbol for WYSIWYG in Emacs ●12/15 22:49 X-Symbol Overview Related Details Manual News »Project »Download News for Package X-Symbol Development Version: 4.5.1-beta (12 May 2003). Stable Version: 3.4.2 (28 Mar 2002). Requirements: Emacs-21.1, XEmacs-20.4, or higher. Part of: XEmacs SUMO package, ProofGeneral Contact: Please use menu entry Send Bug/Problem Report in submenu X-Symbol -Other Commands. Licence: GNU General Public