Possible resolution of KT-68543 (Add explanation about declaration checks of variant type parameters)

[MarkTheHopeful]

Rough description of how it should work, text is to be altered

[MarkTheHopeful]

Currently, inside code snippets in the added part, some math ($\otimes$) is not rendered properly and I haven't figured out yet how to fix that.

[ice-phoenix]

Try looking at the following example, thanks!

[ice-phoenix]

Overall, looks quite good!

[MarkTheHopeful]

Try looking at the following example, thanks!

Not exactly was I had in mind, unfortunately;
In this example we switch directly to math mode and using verbatim, which is fine if used standalone, but may look out of place if put directly into the code snippet (lines around 1909)

UPD: I found an example of proper unicode usage in the spec (⊤ in CFGs), so there is a way to set up a character to work with latex... Now I just need to find, how it's done here.

UPD2: Found; Fixed.

[ice-phoenix]

LGTM, thanks a lot for the fixes! Could you squash and rebase?