Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems. - Serge Autexier; Armin Fiedler; Thomas Neumann 006; Marc Wagner 001 (Calculemus/MKM, 2007)