Re: Come definire correttamente un simbolo di relazione?

#76835
ori
    Up
    0
    Down
    ::


    Grazie a tutti.

    Visto che non sembra esserci un modo automatico per distinguere i due usi, vedo di definire due diversi comandi che mi siano piu` mnemonici e che siano proposti dal completamento automatico di Kile.

    Go to top