Séquent sélectionné :
∧
¬
∨
➝
⊥
A
B
C
D
E
⬅
✖
OK
En fait, je ne voulais pas vraiment utiliser cette règle…
Code LaTeX
