Modèle:Taquet droit/documentation

Insère le caractère unicode taquet droit U+22A2 : ⊢.