Langage des commandes Arbortext
>
Commands
> count_notations
count_notations
count_notations
This command will report any notation names and how many times they appear in the current document.
Examples
count_notations
Parent topic
Commands
Est-ce que cela a été utile ?
Ce site fonctionne de manière optimale avec JavaScript activé.