Arre the /\\ and \\/ operators real or just a typo?

From:

https://coq.inria.fr/distrib/current/refman/addendum/micromega.html#coq:flag.Nra-Cache

But here the operators looks normal:

https://coq.github.io/doc/V8.11.0/refman/addendum/micromega.html#coq:flag.nra-cache

they're not real

Anders Larsson has marked this topic as resolved.

Probably an artifact from LaTeX

I've reported this at https://github.com/coq/coq/issues/16761

Last updated: Jun 25 2024 at 17:02 UTC