Ça peut aller d’utiliser le symbole § pour nommer des règles ou des formules ?
Je ne veux pas dire pour s’y référer depuis ailleurs (ou pas seulement), je veux dire pour signifier que c’est le nom de la règle ou de la formule. Dans plusieurs documents sur les logiques, on voit souvent les noms des règles écrits entre parenthèses à droite de la règle, mais cette convention ne convient pas, les parenthèses étant utilisées pour d’autres choses et la notation n’étant pas graphique.
Sinon, existe‑t‑il un symbole ou une convention plus appropriée ? En tous cas, pas entre [ et ] ni entre { et }. Le symbole de paragraphe ¶ ne me semble pas convenir et je ne l’aime pas, surtout qu’il évoque les erreurs de fichiers ouverts avec le mauvais encodage.
Je ne veux pas dire pour s’y référer depuis ailleurs (ou pas seulement), je veux dire pour signifier que c’est le nom de la règle ou de la formule. Dans plusieurs documents sur les logiques, on voit souvent les noms des règles écrits entre parenthèses à droite de la règle, mais cette convention ne convient pas, les parenthèses étant utilisées pour d’autres choses et la notation n’étant pas graphique.
Sinon, existe‑t‑il un symbole ou une convention plus appropriée ? En tous cas, pas entre [ et ] ni entre { et }. Le symbole de paragraphe ¶ ne me semble pas convenir et je ne l’aime pas, surtout qu’il évoque les erreurs de fichiers ouverts avec le mauvais encodage.