Re: Definizione con := dà problemi di allineamento

È una notazione “da informatici”, non da “matematici”.

Per gli informatici c’è differenza fra := e =, il quale ultimo non ha lo stesso significato che ha in matematica.

Fra i simboli che Lamport propone per indicare “definito come” oppure “uguale per definizione” c’è il segno di uguale sormontato dalla abbreviazione def scritta piccola poccola. Di solito però una definizione si distingue dal contesto, senza bisogno di inventare nuovi simboli.

Non sono matematico, sono un vil meccanico, ma := fa orrore anche a me.