Documentation

Insère le caractère unicode assertion U+22A6 : ⊦.