* raw control symbols are of the form \<^raw:...> now.
* again allowing symbols to begin with "\\" instead of "\" for
compatibility with ML-strings of old style theory and ML-files and
isa-ProofGeneral.
@book{Winskel,author={Glynn Winskel},
title={The Formal Semantics of Programming Languages},publisher=MIT,year=1993}