instead of the one in the original edition. The typesetting is done
using dblatex, which was selected over the alternatives thanks to the
invaluable and quick help from Benoît Guillon and Andreas Hoenen.
instead of the one in the original edition. The typesetting is done
using dblatex, which was selected over the alternatives thanks to the
invaluable and quick help from Benoît Guillon and Andreas Hoenen.