The "¶" character in the gawk manual

[Miriam English]

Hi,

I am puzzled by the "¶" character sprinkled throughout the gawk manual.
Can anybody tell me what it signifies? It doesn't appear to be defined
anywhere.

grep ¶  "The GNU Awk User’s Guide (v5.2).html" | sed 's/<[^>]*>//g'

Lists all 102 places it appears.

Thanks,

 - Miriam

-- 
There are two wolves and they're always fighting.
One is darkness and despair. The other is light and hope.
Which wolf wins?
Whichever one you feed.
  -- Casey in Brad Bird's movie "Tomorrowland"