Supporting User-Defined Notations when Integrating Scientific Text-Editors with Proof Assistance <pre>@inproceedings{AFNW-07-a,
  author        = {Serge Autexier and Armin Fiedler and Thomas Neumann and Marc Wagner},
  editor        = {Manuel Kauers, Manfred Kerber, Robert Miner, and Wolfgang Windsteiger},
  booktitle     = {Towards Mechanized Mathematical Assistants},
  title         = {Supporting User-Defined Notations when Integrating Scientific Text-Editors with Proof Assistance },
  series        = {LNAI},
  publisher     = {Springer},
  month         = {june},
  year          = {2007},
}
</pre>