Commandes latex pour B, Latex commands for B

Nous donnons le code ASCII et en face la commande Latex

• : \in
• /: \notin
• <: \subseteq
• /<:
• ><
• => \implies
• % \lambda
• ; \comp
• \/ \cup
• /\ \cap
• & \land
• or \lor
• ! \forall
• # \exists
• --> \fun
• +-> \pfun
• >--> \bij
• <--> \rel
• |-> \mapsto
• |> \rres
• <| \dres
• ||> \nrres
• <|| \ndrres
• >+-> \pbij
• +->> \psurj
• >+-> \pinj
• -->> \surj
• >--> \inj
• == \defs
• <-- \leftarrow
• || \parallel
• /= \neq
• <= \leq
• {} \emptyset
• * \times (produit cartésien, cartesian product)