B Abstract Commands

Use only in math mode:

\Prod	×	\Total	->	\Partial	->?	\MapsTo	|->
\Forall	forall	\Exists	exists	\ExistsUnique	exists !	\Bullet	·
\Conj	/\	\Disj	\/	\Implies	=>
\Equiv	<=>	\Not	¬	\ExistlEq	=e=	\In	e

Use only in text mode:⁷

\SortDecl{...}	...
\SubsortDecl{...}{...}	... < ...
\SubsortDefn{...}{...}{...}	... = { ...  ·  ... }
\IsoDecl{...}	...
\OpDecl{...}{...}	... : ...
\OpDefn{...}{...}{...}	... ... = ...
\PredDecl{...}{...}	... : ...
\PredDefn{...}{...}{...}	... ...  <=>  ...
\VarDecl{...}{...}	... : ...
\Formula{...}	...
\Term{...}	...
\Symb{...}	...
\SymbMap{...}{...}	...  |->  ...
\DatatypeDecl{...}{...}	... ::= ...
\UnitDecl{...}{...}	... : ...
\UnitDecl{...}{...}	... : ...
\UnitDefn{...}{...}	... = ...