Strange behavior of curly braces in code blocks
The following code block, for some mysterious reason, has all sorts of red highlighting over it:
{P} e {Q} \All v. {Q} fill v {R}
This is not documented in the "GitLab Flavored Markdown" documentation. I can "fix" the formatting by adding python
after the triple-accent starting the block. Somehow, it seems the "no syntax highlighting" does some (strange) syntax highlighting. This should be fixed, or documented, and there should be a way to get truly no syntax highlighting.