Bonjour
Je me demandais comment faire le signe de subsomption (vieux signe d'inclusion ) c'est une inclusion avec deux barres horizontales en plein milieu ressemblant au signe euros
(peut être peut-on le faire en superposant l'inclusion et le signe égal).
Merci de vos réponses
