  The notion of cartesian bicategory, introduced by Carboni and Walters for
locally ordered bicategories, is extended to general bicategories. It is shown
that a cartesian bicategory is a symmetric monoidal bicategory.
