Redo the table name arrow
authorKarl O. Pinc <kop@karlpinc.com>
Fri, 3 Nov 2023 22:08:02 +0000 (17:08 -0500)
committerKarl O. Pinc <kop@karlpinc.com>
Fri, 3 Nov 2023 22:08:02 +0000 (17:08 -0500)
commit30bfb1156b9b816bce0857e007293f7cf416895e
treefb33fff0696398f3d3d7c9752130597c1c7f9e58
parenta9e3b64cfd5591f016bfa93c8fd37df4970ba7d5
Redo the table name arrow

For reasons not understood, the arrow glyph at the end of the
old arrow was rotated 90 degrees when displayed on the web page.
doc/diagrams/key.svg