Séquent sélectionné :
∧
¬
∨
➝
⊥
∀
∃
x
y
z
u
v
w
⬅
✖
OK
En fait, je ne voulais pas vraiment utiliser cette règle…
Code LaTeX
