Citations sur t. v p. 99

Les crochets sont au nombre des signes dont on se sert dans l'écriture, autres que les lettres ; les crochets sont différents des parenthèses ; celles-ci se font ainsi (), au lieu que les crochets se font en ligne perpendiculaire, terminée en haut et en bas par une petite ligne horizontale []