Verified answer

Se intendi ~ è la tilde

In genere si utilizza per indicare l'estensione continua di una funzione, oppure una particolare operazione di una struttura algebrica oppure una relazione di equivalenza (o d'ordine)

in genere lo si usa per le funzioni, per associare a un elemento del dominio un elemento del codominio. I prof universitari da me lo usano al posto della freccia fatta così |--->