		      Symbols for the B language
		      --------------------------


This package contains a documented style file for easily typesetting B
symbols with LaTeX.


Installation
------------

To install the package, first untar it in some location then issue the
following command:

  latex bsymb.ins

This will produce a new file named "bsymb.sty" that you should copy to
some proper location for LaTeX to find it later (e.g.,
"/usr/local/share/texmf/tex/bsymb.sty").


Documentation
-------------

There are two documentation files delivered with this package:

  - File "bsymb.pdf" contains the source of the style file in the
    classical literate programming style.

  - File "refcard.pdf" contains a list of the package macros typeset
    on one page for easy reference.


License
-------

This file may be distributed and/or modified under the conditions of
the LaTeX Project Public License, either version 1.3 of this license
or (at your option) any later version.  The latest version of this
license is in:

   http://www.latex-project.org/lppl.txt

and version 1.3 or later is part of all distributions of LaTeX version
2003/12/01 or later.


--
Copyright (C) 2004 by Laurent Voisin <laurent.voisin at inf.ethz.ch>