Sur quelques commandes latex pour B

|-> \mapsto
+-> \pfun (fonction partielle)

>< \otimes (produit direct)

|>> \rres
<<|
+->> \

>+> \pinj (injection partielle)

+->
+>  \ecrasement c'est une cde que vous trouvez en début de mes textes latex

il y a aussi
\pbij bijective partielle
\bij bijective totale

je rajoute
POW  \partition set

La surjection totale n'a pas de symbole dans B (un oubli de JR A !)
on doit la spécifier ainsi S \fun T & \land  ran(R) = T


Un message échangé avec étudiants il y a deux ans.


Avez-vous pris en compte les \newcommand que l'auteur d'un texte en latex a pu définir (ce sont des macros)

et les packages déclarés

par ex. Dans des textes portant du B, on utilise
le package b-eves où sont définis les symboles propres à Z et B