• [^] # Re: Utilité

    Posté par (site web personnel) . En réponse au journal Unicode. Évalué à 1.

    Non, tex c'est pas portable.

    Exemple concret de qui viens de m'arriver à l'instant : je sélectionne un texte dans un pdf généré avec latex, et en le collant cela donne

    D ́finir un pr ́dicat consequence_l qui prend en argument un contexte Γ et une e e formule F et indique si F est cons ́quence s ́mantique de Γ.

    Et non, le fichier tex d'origine je l'ai pas.