unicode box-drawing characters

[Per Bothner]

When I use the Unicode box-drawing characters in an example
(to "pretty-print" multi-dimensional arrays) it works fine
with DocBook or HTML output, but texi2pdf complains:

l.15404: Unicode char @u8:═ not defined for Texinfo
l.15404: Unicode char @u8:╗ not defined for Texinfo
l.15405: Unicode char @u8:║ not defined for Texinfo
and so on.

Kawa uses the box characters when arrays are "displayed".
For example: #2a((11 12 13) (21 22 23))
is displayed as:
╔#2a:2:3═╗
║11│12│13║
╟──┼──┼──╢
║21│22│23║
╚══╧══╧══╝
I find this format useful in the Kawa manual to show
the effect of the various array operations.

I assume this is a font problem, and there is no easy fix.
I found a relevant link for pxdlatex, but I don't know how to
map the \newunicodechar command to texinfo.tex. See
http://tex.stackexchange.com/questions/281368/print-box-drawing-characters-with-pdflatex

For me pdf output has relatively low priority (and dvi output
has zero priority), but it would be nice to have the correct output.
I could use png images of the output but that is obviously less desirable
(more hassle with lots of small image files, doesn't scale (zoom) as well,
takes more space, and text can't be selected).  Using @iftex to use an
image only in the tex case, but that's even more of a hassle and management
problem.
--
        --Per Bothner
address@hidden   http://per.bothner.com/