Merge branch 'unicode_asterisk_in_docs' into 'master'

Added note about unicode asterisk to docs

See merge request FP/iris-coq!203
7 jobs for master in 11 minutes and 49 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #22135
fp
build-coq.8.7.1

00:05:29

passed #22134
fp
build-coq.8.7.2

00:05:27

passed #22133
fp-timing
build-coq.8.8.0

00:05:00

passed #22132
fp
build-coq.8.8.1

00:06:10

passed #22131
fp
build-coq.8.8.2

00:06:14

passed #22130
fp-timing
build-coq.8.9.dev

00:06:08

passed #22129
fp
build-coq.dev

00:08:29