OliForum Matematico

Come faccio a scrivere in latex "A è un sottoinsieme di B"?

$ A \subseteq B $ o $ A \subset B $
Se hai in mente un simbolo e vuoi il relativo codice è utilissima questa pagina: http://detexify.kirelabs.org/classify.html

Qualche precisazione notazionistica (tanto per...). In 4 anni e passa di matematica non ho ancora capito quale tra le due notazioni $ A \subseteq B $ e $ A \subset B $ sia standard per indicare l'inclusione non necessariamente propria. Chi usa la prima delle due notazioni, poi talvolta riserva la seconda per l'inclusione propria. Chi usa la seconda, invece, scrive cose tipo $ A \subsetneq B $ per l'inclusione propria. Altri ancora (come per esempio io) usano $ A \subseteq B $ per l'inclusione non necessariamente propria e $ A \subsetneq B $ per l'inclusione propria.

L'importante è capirsi, insomma!

direi che $\subseteq$ e $\subsetneq$ sono notazioni inequivocabili, mentre $\subset$ è ambigua. per quanto vedo io in giro, l'uso comune è di interpretare $\subset$ come $\subseteq$ (che credo che sia un po' il contrario di quello che scrivono i libri di testo, fino alle superiori).