Concept macro incompatible with inline latex?

[fredrik-bakke]

Inline latex in a concept name seems to break the macro. E.g., here: https://unimath.github.io/agda-unimath/foundation.hilberts-epsilon-operators.html

The raw markdown code:

{{#concept "Hilbert's $ε$-operator"}} at a type `A` is a map

Accepted solutions:

1. document that concept macros are incompatible with inline latex
2. make concept macros compatible with inline latex