@c -*- coding: latin-1; mode: texinfo; -*-
@node Basic notation
@chapter Basic notation

This is a placeholder for very-near future reorganization of the manual.