Posté par jben .
En réponse au journal flatlatex et flatlatex-gui.
Évalué à 3.
Dernière modification le 07 décembre 2021 à 14:46.
À noter que dans debian, il y a seulement la CLI et le module. La GUI n'est pas dans debian (du moins pour le moment). De plus la version dans debian ne supporte pas l'avancé majeure introduite la semaine dernière : le fait de conserver les espaces non délimitants. LaTeX ne les conserve pas, et flatlatex non plus (mais avec une option, il peut).
Par exemple, si l'écris [(\forall i\in\mathbb N, v_i\leq u_i\leq w_i) \wedge (v\rightarrow l) \wedge (w\rightarrow l)] \Rightarrow [u\rightarrow l],
sans conservation des espaces: [(∀i∈N,vi≤ui≤wi)∧(v→l)∧(w→l)]⇒[u→l]
avec conservation des espaces: [(∀i∈N, vi≤ui≤wi) ∧ (v→l) ∧ (w→l)] ⇒ [u→l]
Pour avoir le moins d'interruptions de frappes possibles, en fait chez moi, flatlatex-gui est un raccourci de mon windows manager, et c'est assez naturel comme cela. Ça l’interrompt un peu il est vrai, mais pas trop.
[^] # Re: Merci pour le soft
Posté par jben . En réponse au journal flatlatex et flatlatex-gui. Évalué à 3. Dernière modification le 07 décembre 2021 à 14:46.
À noter que dans debian, il y a seulement la CLI et le module. La GUI n'est pas dans debian (du moins pour le moment). De plus la version dans debian ne supporte pas l'avancé majeure introduite la semaine dernière : le fait de conserver les espaces non délimitants. LaTeX ne les conserve pas, et flatlatex non plus (mais avec une option, il peut).
Par exemple, si l'écris
[(\forall i\in\mathbb N, v_i\leq u_i\leq w_i) \wedge (v\rightarrow l) \wedge (w\rightarrow l)] \Rightarrow [u\rightarrow l],[(∀i∈N,vi≤ui≤wi)∧(v→l)∧(w→l)]⇒[u→l][(∀i∈N, vi≤ui≤wi) ∧ (v→l) ∧ (w→l)] ⇒ [u→l]Pour avoir le moins d'interruptions de frappes possibles, en fait chez moi, flatlatex-gui est un raccourci de mon windows manager, et c'est assez naturel comme cela. Ça l’interrompt un peu il est vrai, mais pas trop.