Singlequoted names for annotated formulas #9
Description
.... cannot be parsed. Can this be added? It's sometimes very nice to write
thf('1', axiom, ...).
...
thf('24', axiom, ...).
instead of spelling out the numbers or using alternative names.
{{ message }}