This repository was archived by the owner on Aug 3, 2024. It is now read-only.

This repository was archived by the owner on Aug 3, 2024. It is now read-only.

Escape `#` more reliably #936

Closed

Closed

Escape # more reliably#936

Assignees

Labels

There is at least once instance of # in the output of the docs for text which should be escape (there is a #-suffixed identifier). I suspect ppOccName should use latexFilter too.

Metadata

Assignees

harpocrates

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests